[coreboot] RFC: Make ec/acpi ports configurable