[U-Boot] [PATCH 5/6] spl: stm32f7: add kernel boot support