label stm32mp157c-odyssey-buildroot
  kernel /boot/zImage
  devicetree /boot/stm32mp157c-odyssey.dtb
  append root=/dev/mmcblk0p4 rootwait
