make test run script produce TAP if desired

	. primarily intended for jenkins
	. see http://testanything.org/ for more info

Change-Id: If0e942f75898eed640f9edd89ef8ffd0bab9726e
kernel, libsys: make it arm-target-independent

	. by making the address and frequency of the
	  free running clock kinfo members, set at runtime
	  in the kernel, instead of compile time constants
	  in libsys

Change-Id: I4a8387302d4d3ffd47d2448525725683a74c9a4f
libsys: correct cast priority

Change-Id: I223482884c0e27726e8100209b203a33ded66f59