Changed PL011 initial baud rate to the same one that Xinu uses
Changed compilation target to the Raspberry Pi hardware
Wrapped all Fluke ARM board code in ifdefs. This may break the ARM Qemu target.
Added a small message to debug timer init.
Initial Raspberry Pi support
Fixed UART initialization deadlock. If the UART is disabled while transmitting, it will be busy until it is re-enabled and suffecient time is given for all characters to be sent. We were waiting for the UART to not be busy AFTER disabling it. Since the kprintf routine had been sending characters out before we entered this routine, a deadlock occurred.
Added ifdefs for FLUKE ARM-specific things. Shouldn't effect arm-qemu. Also removed debug code.
Moved platforminit() to before any serial printing so that alternate GPIO settings could be there before the serial port starts operating. Added a few carraige returns to clean up diagnostic printing. Added a few notes about the Pi on ifdefs.
Changed getc() to kgetc() since that seemed more appropriate. Commented out the wait for pressing @ since kgetc() doesn't seem to be working right now. Fixed up platform variables.