Re: [SeaBIOS] [PATCH] skip interactive boot menu if only one bootdevice present