a3: Update prebuilt kernel.