config HAVE_INIT_TIMER
	bool
	default y
	depends on CPU_AMD_SOCKET_F

config HAVE_MOVNTI
	bool
	default y
	depends on CPU_AMD_SOCKET_F

config CPU_ADDR_BITS
	int
	default 40
	depends on CPU_AMD_SOCKET_F