Hello, does anybody know, how to boot USB 3.0 devices with SeaBIOS? They aren't recognized in the boot menu with coreboot. Thanks in advance Regards, Reiner -- .