[PATCH 0/4] xkb core->xkb conversion fixes

[Peter Hutterer]

Thomas, here's the set of patches that appears to fix the problem. It's a
combination of some bugs and insanity in the XKB protocol.

Basically, we're required to convert from XKB to core (including the weird
replication in ae986d1c73d), but when converting back we're missing vital
information and that leaves us up to guesswork.

Please try the attached patches, they seem to fix the issue.

Cheers,
  Peter