Comment 31 for bug 278839

Actually, that probably won't work at all, as the key is already mapped. Still, the output of "sudo showkey -s" and "sudo showkey -k" would be useful for the other non-working keys