[SeaBIOS] Re: [PATCH] boot: add config option for fast device init