[SeaBIOS] Bootorder file question regarding USB hubs/devices