fix timer choice in Kconfig. HAVE_INIT_TIMER is selected correctly, no need to
[coreboot.git] / src / cpu / amd / sc520 / Kconfig
1 config CPU_AMD_SC520
2         bool