[libvirt] [PATCH 4/5] xenconfig: don't use "kernel" for hvmloader