Søren,
Could you please confirm if this fixes your issue:
http://cgit.freedesktop.org/xkeyboard-config/commit/?id=4779e2745094ebe0c06364b4099d7067ae750d07
Søren,
Could you please confirm if this fixes your issue:
http:// cgit.freedeskto p.org/xkeyboard -config/ commit/ ?id=4779e274509 4ebe0c06364b409 9d7067ae750d07