[coreboot] x11ssm-f usb3.0 boot issues

[Valentin]

Hello,

I've built coreboot with seabios for the Supermicro X11SSM-F motherboard 
and i'd like to use the internal usb3.0 port with a usb stick as a boot 
device.

If power on the board and do a cold boot the usb works just fine, but if 
i reboot the system or use the reset button the usb is not recognized in 
seabios.

If i use a usb2 port instead there are no issues at all.

I can't figure out the reason for this... has anyone an idea on how to 
fix this issue or experienced this before?

i attached the complete console debug output from a cold and warm boot 
as well as the config file, any help is appreciated.

Thanks,
Valentin