#include <dt-bindings/gpio/gpio.h>
 #include <dt-bindings/leds/common.h>
 
-/* Clock frequency (in Hz) of the rtcclk */
-#define RTCCLK_FREQ            1000000
-
 / {
        model = "Microchip PolarFire-SoC Icicle Kit";
        compatible = "microchip,mpfs-icicle-reference-rtlv2210", "microchip,mpfs-icicle-kit",
                stdout-path = "serial1:115200n8";
        };
 
-       cpus {
-               timebase-frequency = <RTCCLK_FREQ>;
-       };
-
        leds {
                compatible = "gpio-leds";
 
 
 #include "mpfs.dtsi"
 #include "mpfs-m100pfs-fabric.dtsi"
 
-/* Clock frequency (in Hz) of the rtcclk */
-#define MTIMER_FREQ    1000000
-
 / {
        model = "Aries Embedded M100PFEVPS";
        compatible = "aries,m100pfsevp", "microchip,mpfs";
                stdout-path = "serial1:115200n8";
        };
 
-       cpus {
-               timebase-frequency = <MTIMER_FREQ>;
-       };
-
        ddrc_cache_lo: memory@80000000 {
                device_type = "memory";
                reg = <0x0 0x80000000 0x0 0x40000000>;
 
 #include "mpfs.dtsi"
 #include "mpfs-polarberry-fabric.dtsi"
 
-/* Clock frequency (in Hz) of the rtcclk */
-#define MTIMER_FREQ    1000000
-
 / {
        model = "Sundance PolarBerry";
        compatible = "sundance,polarberry", "microchip,mpfs";
                stdout-path = "serial0:115200n8";
        };
 
-       cpus {
-               timebase-frequency = <MTIMER_FREQ>;
-       };
-
        ddrc_cache_lo: memory@80000000 {
                device_type = "memory";
                reg = <0x0 0x80000000 0x0 0x2e000000>;
 
 #include "mpfs.dtsi"
 #include "mpfs-sev-kit-fabric.dtsi"
 
-/* Clock frequency (in Hz) of the rtcclk */
-#define MTIMER_FREQ            1000000
-
 / {
        #address-cells = <2>;
        #size-cells = <2>;
                stdout-path = "serial1:115200n8";
        };
 
-       cpus {
-               timebase-frequency = <MTIMER_FREQ>;
-       };
-
        reserved-memory {
                #address-cells = <2>;
                #size-cells = <2>;
 
 #include "mpfs.dtsi"
 #include "mpfs-tysom-m-fabric.dtsi"
 
-/* Clock frequency (in Hz) of the rtcclk */
-#define MTIMER_FREQ            1000000
-
 / {
        model = "Aldec TySOM-M-MPFS250T-REV2";
        compatible = "aldec,tysom-m-mpfs250t-rev2", "microchip,mpfs";
                stdout-path = "serial1:115200n8";
        };
 
-       cpus {
-               timebase-frequency = <MTIMER_FREQ>;
-       };
-
        ddrc_cache_lo: memory@80000000 {
                device_type = "memory";
                reg = <0x0 0x80000000 0x0 0x30000000>;
 
        cpus {
                #address-cells = <1>;
                #size-cells = <0>;
+               timebase-frequency = <1000000>;
 
                cpu0: cpu@0 {
                        compatible = "sifive,e51", "sifive,rocket0", "riscv";