Re: [SeaBIOS] [RFC] acpi: Do not advertise S3