libqos: usb-hcd-ehci: use 32-bit write for config register