Build kernel with selinux support if we want to.

Signed-off-by: David Rodero <david@codiguiel.net>