I've tried to build a kernel for my NanoPi Air, using the instructions here: http://wiki.friendlyarm.com/wiki/index.php/NanoPi_NEO_Air#Compile_Linux_Kernel but when I try to boot the DS card it gets tuck at the "starting kernel" line. Here is the full output HELLO! BOOT0 is starting! boot0...