Fix compile error with the AOSP master branch kernel-headers