CONFIG_7REGS -> HAVE_7REGS