Patching XEN hvmloader with a slic table