Re: [SeaBIOS] [PATCH] pretty boot menu entry for cdrom drives