Weird, I'm using the latest stock fedora with gnome and the option is there to use the power button as "power off" command.