Re: [SeaBIOS] [PATCH 1/3] vgabios: Add config option for assembler fixups