Make sure we patch the right file in xenserver-core too