[coreboot-gerrit] [NoOp] Change in coreboot[main]: driver/intel to /driver/ocp: Rename Makefiles from .inc to .mk