Format diff with linux kernel
Build kernel that boots from sdcard