[coreboot-gerrit] New patch to review for coreboot: 0de1b5c pnp: Allow setting of misc register 0xf4 in device tree