[PATCH] fix indentation-related breakage in Kconfig.i386