[PATCH 5.15 208/262] ARM: dts: switch timer config to common devkit8000 devicetree