temporarily switch to varunchitre15's CAF kernel