[coreboot-gerrit] Patch set updated for coreboot: a39ced3 am335x: Fix the address of the pinmux registers.