[Bug 460637] New: ext4dev kmp has wrong path