no need to include <machine/param.h> if <sys/param.h> already included

#include <sys/bus.h> instead of <machine/bus.h>.

in initarm(), remove some bringup debug stuff, and clean up
progress markers; they are still useful for now.
in cpu_reboot() use Gemini Global Reset Control register to reboot system
geminiwdt_reboot

in initarm(), remove some bringup debug stuff, and clean up
progress markers; they are still useful for now.
in cpu_reboot() use Gemini Global Reset Control register to reboot system
geminiwdt_reboot() is no longer needed, removed.

show more ...

Add support for Cortina Systems SL3516 eval board.