[coreboot-gerrit] Patch merged into coreboot/master: e3f880e intel/broadwell: Build monotonic timer driver for SMM