a3: Update prebuilt kernel