Fixes #1919: Shortcuts keys for inverting values don't work correctly wi...

This should be a better fix than #1930. @davxlw verification needed.

Excellent idea on ARM boards, but won't work on other boards! Perhaps we should remove the DOUBLE_KEYS on those !ARM boards, with a flag?