[SeaBIOS] Current tip not booting from USB or SD cards