celox: selinux->permissive to stop the madness

Change-Id: Ie4fbfd7969c03f15f14f0223c8f5afa762c2755b
celox: use 4.7 gcc for the kernel

Change-Id: I13f153df30b6194a9f5a533a3fc652c98c01fbd6