[coreboot-gerrit] Patch merged into coreboot/master: f0813bb AMD Hudson boards: Use `hudson.h` for `pm_ioread` and delete `pmio.h`