xen4.2: removed; I don't want to deal with additional patches...

Get a 64bit CPU and run Xen >= 4.4 instead.