label Macchiatobin Linux
  kernel /boot/Image
  devicetree /boot/armada-8040-mcbin.dtb
  append console=ttyS0,115200n8 root=/dev/mmcblk1p1 rootwait
