I hope this questions belongs here.
How did you do
exactly?
I’m considering to buy this device but can’t find an instruction that tells me how to do that.
EDIT:
I found this solution here in the forum: How to add custom kernel options in v4.1?
Is this also the way you did it?