Use AOSPA kernel for now.