Hide 'Proximity wake' feature if device has no sensor (fix)
Merge branch 'kitkat' of https://github.com/GravityBox/GravityBox into kitkat