[PATCH 7/8] ntoskrnl: Cache device instance ID for PDOs.