Use A3 prebuilt kernel