1label stm32mp157c-dk2-buildroot 2 kernel /boot/zImage 3 devicetree /boot/stm32mp157a-dhcor-avenger96.dtb 4 append root=/dev/mmcblk1p4 rootwait 5