As a part of FreeBSD - Linux DT alignment for Marvell
Armada 38x platform, a new node for the generic
Cortex-A9 global timer was added in Linux. FreeBSD port is
basing on it, as platform does not use legacy timer.
The change is already merged to linux-next branch and
will reach main tree in the kernel v4.14:
https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/commit/arch/arm/boot/dts/armada-38x.dtsi?h=next-20170804&id=0f015017a95c279a050ed953284451d2a0d29fb2
Due to ongoing effort to drop sys/boot/fdt Armada 38x
device tree, the timer node has to be available in
sys/gnu/dts before v4.14 release.