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