* Add 01_convert-keymaps-to-use-X11-friendly-symbols.patch:
  Sometimes hal-info assigns key symbols which are > 255; However,
  X.org currently cannot use those, and fixing this requires a
  protocol change. After 25 years of X11, X12 won't happen anytime
  soon, so we shouldn't hold our breath for it. This changes most of
  those to similar key symbols which are < 256, so that they can
  actually be used in X.org.
* Drop 03_thinkpads_use_prog1_not_vendor.patch, subset of above
  patch.