add back in spec for /proc/modules and xen