- x86_32, entry: Store badsys error code in %eax (bnc#883724,
  CVE-2014-4508).
- Refresh other Xen patches.