ppc4xx: Add CONFIG_PCI_4xx_PTM_OVERWRITE to some esd 4xx boards