trying to boot from SD card on my v4 and it does not work. I press the key “2” in the boot menu in order to get booted from the SD card, but instead of that it displays some infos about the coreboot firmware etc…
