Question: Much like normal power kernel, I should be able to make and flash a uboot image with this kernel image, correct? Just install everything as per readme, then extract the zImage of the kernel from the .deb, convert to uImage with mkimage, and append to the uboot image, and flash that as new kernel, correct?