Fix GPS for n80xx devices

Why the hell does Samsung keep on derping the Makefile for GPS on
n80xx devices?  I'm getting tired of fixing this crap over and over
again.

Before they assumed wifi N80xx units didn't have GPS.  Now they're
keying compilation of the GPS stuff off of a nonexistent config
entry.

grr

Change-Id: I034c521e6f398aa0d5f3a4fa1bb97e30e401a807
cm exynos: enable selinux support

Change-Id: I90ed70f2071c5328d71a18e6cbd0cb8a8cc0c82d
Merge remote-tracking branch 'cm/cm-10.1' into db42