AndroidBoard.mk: change kernel defconfig