/* SPDX-License-Identifier: GPL-2.0+ */
  /*
   * Dummy file to allow libraries linked with U-Boot to include stdint.h without
   * getting the system version.
   *
   * U-Boot uses linux types (linux/types.h) so does not make use of stdint.h
   */