Intel has sent a USB 4 specification to the Linux kernel