include/linux/kernel.h: make might_fault() a nop for !MMU