[PATCH 1/1] kconfig: tinyconfig: x86: List disabled choices to avoid warning