Minor fix for detecting kernel location in 10.10