Add support to fastboot using virtual addresses.

Change-Id: Iee873f4eb3dc3d136ec9430d41262802d3d394c5
diff --git a/app/aboot/fastboot.c b/app/aboot/fastboot.c
index 2b699b3..ee11a13 100644
--- a/app/aboot/fastboot.c
+++ b/app/aboot/fastboot.c
@@ -29,6 +29,7 @@
 #include <debug.h>
 #include <string.h>
 #include <stdlib.h>
+#include <platform.h>
 #include <kernel/thread.h>
 #include <kernel/event.h>
 #include <dev/udc.h>
@@ -147,7 +148,7 @@
 
 	while (len > 0) {
 		xfer = (len > MAX_USBFS_BULK_SIZE) ? MAX_USBFS_BULK_SIZE : len;
-		req->buf = buf;
+		req->buf = PA((addr_t)buf);
 		req->length = xfer;
 		req->complete = req_complete;
 		r = udc_request_queue(out, req);
@@ -184,7 +185,7 @@
 	if (fastboot_state == STATE_ERROR)
 		goto oops;
 
-	req->buf = buf;
+	req->buf = PA((addr_t)buf);
 	req->length = len;
 	req->complete = req_complete;
 	r = udc_request_queue(in, req);