[coreboot-gerrit] Change in coreboot[4.11_branch]: mainboard/ocp/monolake: Remove ACPI PNP0C0C device