disable CONFIG_SECURITY_SELINUX_DEVELOP

Change-Id: I05267c8e3044c639aa26e24f5435d4adafdb7d55
Update linux kernel from 3.4.79 to 3.4.80