kernel: fix kernel builds for chipidea w/ usb-gadget