Re: [PATCH v4 6/9] ntoskrnl: Improve error handling in get_device_id