[PATCH v1 1/4] usb: Modify Kconfig of the USB_EHCI_MXS to use this driver with imx28