Fix code indenting.
Removed a load of unnecessary includes.
Removed unnecessary prototypes and variables.
Removed dead variables debug_flags and cpu_cache.
Removed some unnecessary cache syncs.
Only sync the first 64 bytes after setting up the vectors.
Removed all the boot argument checking code and instead call the
generic ARM boot argument checking code parse_mi_bootargs() in machdep.c
Use the get_bootconf_option() function to check for the shark specific
quiet and noquiet options.
Reference Design NetBSD source code, obtained from the pages under
http://www.research.digital.com/SRC/iag . Some of this code (badly)
needs to be cleaned up, and as-is it doesn't compile. However, getting
it in the tree is a start.