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