[coreboot] ACPI S3 with coreboot-v2 on DBM690T