Get /etc/default/grub instead of grub.cfg for Xen

As grub.cfg is nearly unusable, just get /etc/default/grub - which is the only place users should be customizing Xen parameters (through GRUB_CMDLINE_XEN and GRUB_CMDLINE_XEN_DEFAULT).