Modify the kernel info to tag it as being for AOSP