label linux
  kernel /boot/Image
  # use devicetree from u-boot
  append console=ttyS0,115200 root=/dev/mmcblk0p1 ro rootwait