[PATCH 1/3] nohz: Kconfig: remove redundant 64-bit dependency