Re: [SeaBIOS] [RFC PATCH 0/4] vgabios runtime hardware detection