# CONFIG_USB_C67X00_HCD is not set