Re: [coreboot] [patch 7/7] Dynamically generate PNP0C02 mainboard resources in SSDT