x86: add cpu codenames for Kconfig.cpu