bcm2835: use the real uart instead of the mini-uart
The real uart is more capable.  We'll want to use it for the real console
eventually anyway, so let's bite the bullet now when no one will really
notice.  (For comparison, the Linux kernel uses the real uart and totally
lacks a driver for the miniuart.)

*** 14,24 ****
  # Copyright (c) 2015, Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
  #
  
  BCM2835_OBJS =                  \
          bcm2835_bsmdep.o        \
          boot_console.o          \
!         locore.o                \
!         miniuart.o
  
  BCM2835_LOADER_OBJS = \
          bcm2835_ldep.o  
--- 14,24 ----
  # Copyright (c) 2015, Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
  #
  
  BCM2835_OBJS =                  \
          bcm2835_bsmdep.o        \
+         bcm2835_uart.o          \
          boot_console.o          \
!         locore.o
  
  BCM2835_LOADER_OBJS = \
          bcm2835_ldep.o