Index: head/sys/boot/fdt/dts/arm/armada-38x.dtsi
===================================================================
--- head/sys/boot/fdt/dts/arm/armada-38x.dtsi
+++ head/sys/boot/fdt/dts/arm/armada-38x.dtsi
@@ -189,7 +189,6 @@
 				compatible = "arm,cortex-a9-global-timer";
 				reg = <0xc200 0x20>;
 				interrupts = <GIC_PPI 11 (IRQ_TYPE_EDGE_RISING | GIC_CPU_MASK_SIMPLE(2))>;
-				clock-frequency = <800000000>;
 				clocks = <&coreclk 2>;
 			};
 
@@ -197,7 +196,6 @@
 				compatible = "arm,cortex-a9-twd-timer";
 				reg = <0xc600 0x20>;
 				interrupts = <GIC_PPI 13 (IRQ_TYPE_EDGE_RISING | GIC_CPU_MASK_SIMPLE(2))>;
-				clock-frequency = <800000000>;
 				clocks = <&coreclk 2>;
 			};