Re: config-armv7-generic: USB_G_DBGP_PRINTK and USB_G_DBGP_SERIAL