Remove empty hardware.bf definitions

These have no effect when there aren't any definitions.

include/plat/allwinnerA20/plat/machine/hardware.bf

---
--- Copyright 2015, DornerWorks, Ltd.
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32
-

include/plat/am335x/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32
-

include/plat/apq8064/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32

include/plat/bcm2837/plat/machine/hardware.bf

---
--- Copyright 2017, Data61
--- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
--- ABN 41 687 119 230.
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(DATA61_GPL)
---
-
-base 32

include/plat/exynos4/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32

include/plat/exynos5/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32

include/plat/hikey/plat/machine/hardware.bf

---
--- Copyright 2016, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32
-

include/plat/imx6/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32

include/plat/imx7/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32

include/plat/omap3/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32
-

include/plat/spike/plat/machine/hardware.bf

---
--- Copyright 2016, Data61
--- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
--- ABN 41 687 119 230
---
--- This software may be distributed and modified according to the terms of
--- the BSD 2-Clause license. Note that NO WARRANTY is provided.
--- See "LICENSE_BSD2.txt" for details.
---
--- @TAG(DATA61_BSD)
---

include/plat/tx1/plat/machine/hardware.bf

---
--- Copyright 2017, Data61
--- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
--- ABN 41 687 119 230.
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(DATA61_GPL)
---
-
-base 32

include/plat/tx2/plat/machine/hardware.bf

---
--- Copyright 2018, Data61
--- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
--- ABN 41 687 119 230.
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(DATA61_GPL)
---
-
-base 64

include/plat/zynq7000/plat/machine/hardware.bf

---
--- Copyright 2014, General Dynamics C4 Systems
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(GD_GPL)
---
-
-base 32

include/plat/zynqmp/plat/machine/hardware.bf

---
--- Copyright 2017, Data61
--- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
--- ABN 41 687 119 230.
---
--- This software may be distributed and modified according to the terms of
--- the GNU General Public License version 2. Note that NO WARRANTY is provided.
--- See "LICENSE_GPLv2.txt" for details.
---
--- @TAG(DATA61_GPL)
---
-
-base 32

src/arch/arm/config.cmake

@@ -357,7 +357,6 @@ add_sources(
 )
 
 add_bf_source_old("KernelArchARM" "structures.bf" "include/arch/arm" "arch/object")
-add_bf_source_old("KernelArchARM" "hardware.bf" "include/plat/${KernelPlatform}" "plat/machine")
 
 include(src/arch/arm/32/config.cmake)
 include(src/arch/arm/64/config.cmake)

src/arch/riscv/config.cmake

@@ -74,5 +74,3 @@ add_sources(
 )
 
 add_bf_source_old("KernelArchRiscV" "structures.bf" "include/arch/riscv" "arch/object")
-add_bf_source_old("KernelArchRiscV" "hardware.bf" "include/plat/${KernelPlatform}" "plat/machine")
-

src/plat/imx31/config.cmake

@@ -27,3 +27,5 @@ add_sources(
         src/plat/imx31/machine/io.c
         src/plat/imx31/machine/hardware.c
 )
+
+add_bf_source_old("KernelPlatformKZM" "hardware.bf" "include/plat/imx31" "plat/machine")

src/plat/tk1/config.cmake

@@ -31,3 +31,5 @@ add_sources(
         src/plat/tk1/machine/smmu.c
         src/arch/arm/machine/generic_timer.c
 )
+
+add_bf_source_old("KernelPlatformTK1" "hardware.bf" "include/plat/tk1" "plat/machine")