kernel/arch/arm64/boot/dts/marvell/armada-372x.dtsi
.. .. @@ -16,9 +16,9 @@ 16 16 compatible = "marvell,armada3720", "marvell,armada3710"; 17 17 18 18 cpus { 19 - cpu@1 {19 + cpu1: cpu@1 {20 20 device_type = "cpu"; 21 - compatible = "arm,cortex-a53","arm,armv8";21 + compatible = "arm,cortex-a53";22 22 reg = <0x1>; 23 23 clocks = <&nb_periph_clk 16>; 24 24 enable-method = "psci";