[coreboot-gerrit] Patch merged into coreboot/master: 08ba7d0 pnp: Allow setting of misc register 0xfa in device tree