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