Re: [U-Boot] [PATCH 22/22] x86: Document ACPI S3 support