Kernel configuration for a hardened sources for gentoo running on xenserver