Use prebuilt kernel from tf101 project