Add prebuilt kernel from Sony Repo