Update MiCore defconfig