the framebuffer node in start;s fdt is not tied to the video output HDMI.
I can't do anything with it from u-boot. Guessing I need some vc4 magic to make it actually work ? The rainbow screen works, but I can't write my own data for a splash screen.
What can I do ?