[coreboot] PMM support in SeaBIOS