# SPDX-License-Identifier: GPL-3.0-or-later tree="coreboot413" rev="5c186c6777c9438ff4681929c9c25c98dee28bef"