Re: [U-Boot] [PATCH] x86: tangier: kconfig: Guard tangier-specific options