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