[SeaBIOS] [PATCH 4/4] vgaentry: Use .code16 not .code16gcc