spl: stm32f7: add kernel boot support
[platform/kernel/u-boot.git] / board / timll /
drwxr-xr-x   ..
drwxr-xr-x - devkit3250
drwxr-xr-x - devkit8000