options: T3231: bugfix ctrl-alt-delete option was not working

Bug introduced in commit 193323ba5d (system: T3078: rename "system options" ->
"system option") as the new key used in the dict was not migrated.

(cherry picked from commit 66ec730d3bc54379bc558c90c45d5f97e5760a14)