// SPDX-License-Identifier: GPL-2.0+ #include <stm32h7-u-boot.dtsi>