[xen/f18] (4 commits) ...limit size of guest kernels and ramdisks [CVE-2012-4544]

[myoung]

Summary of changes:

  e829d3c... rebuild for ocaml update (*)
  62b6a0a... change build requires for new version of texlive (*)
  c9994c1... Update to xen-4.2.0 (*)
  4bae017... limit size of guest kernels and ramdisks [CVE-2012-4544] (*)

(*) This commit already existed in another branch; no separate mail sent