remove unused option

This option was misleading people, as it wasn't implemented
for non-navbar devices, and shoudln't be visible to devices
that use a navbar natively.

Change-Id: I5f182659ed2cb3cfbdec43d228af74f77e72d834
Signed-off-by: Roman Birg <romanbirg@gmail.com>
Merge "remove unused option" into jb-mr1