Re: [SeaBIOS] More than 9 boot devices