config PIT
	bool "PIT (i8253)"
	default n
	depends on ARCH="x86"
	help
	This option selects legacy i8253 timer as system timer.