MFC r308640: Use the correct OF_getencprop over OF_getprop + fdt32_to_cpu to read integer data from the device tree.
Copy head@r302406 to stable/11 as part of the 11.0-RELEASE cycle.Prune svn:mergeinfo from the new branch, as nothing has been mergedhere.Additional commits post-branch will follow.Approved by: re (implicit)Sponsored by: The FreeBSD Foundation
Cleanup unnecessary semicolons from the kernel.Found with devel/coccinelle.
Add Reset Manager driver. This driver provides generic way to resetand provides sysctl tunables for enable/disable FPGA<->HPS bridges.Sponsored by: DARPA, AFRL