MiCore defconfig: Use westwood as default / optimize for size