LOL
well, once we have boards i can tell you more, not sure if the Pi4 even uses the same boot setup or firmware approach … i have been trying to order one but seems that the 4GB version (and i wouldnt buy anything smaller since i’d want to be able to run arm64 images on it without hittin OOM all the time) is not available in germany yet …
be sure i’ll order one ASAP and play with it 