Use AOSPA kernel config