Re: [SeaBIOS] [PATCH 1/4] smm: Backup and restore A20 on an SMI based mode switch