[PATCH v2 1/4] ntoskrnl.exe: Pass the correct output size to IoBuildDeviceIoControlRequest().