[PATCH v2 6/8] ntoskrnl: Improve error handling in get_device_id