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