Fixed kernel path bug introduced in 8198286597