## SPDX-License-Identifier: GPL-2.0-only config BOARD_LENOVO_T430S bool "ThinkPad T430s" config BOARD_LENOVO_T431S bool "ThinkPad T431s"