stop using prebuilt kernel
Several changes: Boardconfig: add krait optimizations and new selinux policies
Several changes: bring inline with cm