config HAVE_INIT_TIMER
	int
	default 1

config HAVE_MOVNTI
	int
	default 1

config CPU_ADDR_BITS
	int
	default 40