doc: note that the usblib path is for 32-bit Ubuntu