Kernel for d851 that "should" work with AOSP HALs