Defconfig: Initial build for mark_defconfig