Add AceKernel defconfig