Added support for ELF format in execve() call.
Modified splN() routines: must not set global interrupt enable bit.
Fixed bug in UART driver: incorrect baud rate for console port.
Added "make load" target to the top level makefile:
upload the kernel image to chipKIT Wi-Fire board.

Now the kernel is able to boot on real Wi-Fire board.