bnoordhuis: is linux still faster inside a xen virtual kernel?