spl: stm32f7: add kernel boot support
[platform/kernel/u-boot.git] / board / cavium /
drwxr-xr-x   ..
drwxr-xr-x - thunderx