Output the config filename containing a modprobe alias in XML