Use standard DTS files for SOCKIT and SOCDK. Sponsored by: DARPA, AFRL
and provides sysctl tunables for enable/disable FPGA<->HPS bridges. Sponsored by: DARPA, AFRL