device: 0.883 network: 0.812 performance: 0.710 debug: 0.589 boot: 0.534 socket: 0.527 graphic: 0.419 permissions: 0.409 files: 0.291 semantic: 0.262 other: 0.207 vnc: 0.203 PID: 0.058 KVM: 0.041 linux-user: `getsockopt` on `SO_RCVTIMEO_NEW`/`SO_SNDTIMEO_NEW` writes unexpected `int`