[PATCH 5.10 082/105] ARM: dts: switch timer config to common devkit8000 devicetree