Install OpenSBI before U-boot
Following the vendor style, OpenSBI is currently started by U-boot and contains the Linux kernel.
A much more convenient and standard approach would be to have OpenSBI started by SPL and containing U-boot. Then we can use normal Linux kernel images (not contained as OpenSBI payloads).