Use AOSX kernel path