[SeaBIOS] [PATCH] mask interrupts on S3 resume