Re: [coreboot] [PATCH] Dynamically generate PNP0C02 mainboard resources in SSDT