[coreboot] With Linux as a payload how about ACPI boot flags?

[Ceriel Jacobs]

Our current ASrock H81 Pro BTC mainboard have faulty firmware. Using 
acpidump, ACPI FADT declares that PCIe ASPM Not Supported in Boot Flags 
bit #4. Despite that the PCIe hardware does support ASPM when flipping 
the PCI registers manually.

Asrock does not seem to understand and/or is not willing to turn this 
bit to off (=fix the issue) in their AMI based BIOS/firmware.

When having Coreboot and Linux as payload how will that affect ACPI 
(FADT table) boot flags?