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