start_kernel.c: Use Raspberry Pi's mini_UART for print()

kernel/start_kernel.c

@@ -23,7 +23,7 @@
 #include <mmu.h>
 #include <mm.h>
 #include <print.h>
-#include <devices/pl011.h>
+#include <devices/pi_mini_uart.h>
 
 #include <devices/pl111.h>
 #include <framebuffer.h>
@@ -122,7 +122,8 @@ int main(void) {
 	mmu_reinit();
 
 	//initialize the serial console
-	print_init(&pl011_putc);
+	mini_uart_init();
+	print_init(&mini_uart_putc);
 
 	//setup memory
 	mm_init();