Set correct kernel defconfig name
We no longer have an specific selinux defconfig, use the regular one instead.

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