kernel linux/zImage.tns dtb linux/nspire-cx.dtb.tns cmdline root=/dev/sda1 rootdelay=10 boot