[U-Boot] [PATCH 16/17] IXP42x PCI rewrite