This should be a kernel config option, but for now is enough to get a sbmips GENERIC kernel running under a simulator.