Fixed kernel defconfig variable.

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