Re: [SeaBIOS] [Resend][Seabios PATCH] don't boot from un-selected devices