armv8: ls1028a: add icid setup for platform devices
[oweals/u-boot.git] / board / freescale / t104xrdb / t104xrdb.c
index 2818cdf2745fd9ae427387d177e061c534d47a01..c7a645108f46d3531dcb4a334ed2374e531c279c 100644 (file)
@@ -1,11 +1,11 @@
+// SPDX-License-Identifier: GPL-2.0+
 /*
  * Copyright 2013 Freescale Semiconductor, Inc.
- *
- * SPDX-License-Identifier:    GPL-2.0+
  */
 
 #include <common.h>
 #include <command.h>
+#include <env.h>
 #include <hwconfig.h>
 #include <netdev.h>
 #include <linux/compiler.h>