1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 2e2c75e76SMasahiro Yamadasource "Kconfig.inc1" 3