Add missing (but probably non-working) rpi file.

davidgiven · davidgiven · commit 4b3c1a2d075d · 2016-06-02T12:21:13.000+02:00
--HG--
branch : default-branch
diff --git a/plat/rpi/.distr b/plat/rpi/.distr
@@ -22,6 +22,7 @@ libsys/open.c
 libsys/pi_phys_to_user.s
 libsys/pi_uart.s
 libsys/pi_user_to_phys.s
+libsys/pi_fast_mode.s
 libsys/read.c
 libsys/select.c
 libsys/signal.c
