kconf non-hardware mips64.cfg