Kernel repo for Nexus 7 2012 and kitkat porting to SEMC shakira