ixp4xx: fix usb on cambria boards by using the ehci-platform driver