[PATCH 5.16 128/186] ARM: dts: switch timer config to common devkit8000 devicetree