[fedora-arm] Re: Kernel update has lost XMOS USB hardware