buildroot/board/stmicroelectronics/stm32mp157a-dk1/overlay/boot
..
extlinux