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