[SeaBIOS] How to boot USB 3.0 devices with SeaBIOS

[diffusae]

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

.