powerpc/p4080: enable support for PCIe SATA