Everyone who operates a Raspberry Pi with connected USB devices probably knows the problem: After a system restart or when changing the USB port, …
