[PATCH] ARM: 2660/2: fix ixdp2800 boot and pci init