Another way to detect if device has hardware keys

For devices which have all four keys, the value of deviceKeys is set to 15 so this menu is hidden. Change it so it depends on config_showNavigationBar which is set to false by default but true for devices without hardware keys.