Use AOSPA kernel