[PATCH rtems-docs 1/1] user/bsps/arm/raspberrypi: Changed the link to the Raspberry Pi Firmware to point to Firmware Version 1.20200601

[pranav]

Updated the link to the Raspberry Pi Firmware in RTEMS 5 docs, since the BSP works with an older version of the firmware currently.
---
 user/bsps/arm/raspberrypi.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/user/bsps/arm/raspberrypi.rst b/user/bsps/arm/raspberrypi.rst
index c26f4b5..84e45b9 100644
--- a/user/bsps/arm/raspberrypi.rst
+++ b/user/bsps/arm/raspberrypi.rst
@@ -19,9 +19,10 @@ The bootloader looks for a kernel image, by default the kernel images must
 have a name of the form ``kernel*.img`` but this can be changed by adding
 `kernel=<img_name>` to ``config.txt``.
 
-You must provide the required files for the GPU to proceed. These files
-can be downloaded from
-`the Raspberry Pi Firmware Repository <https://github.com/raspberrypi/firmware/tree/master/boot>`_.
+You must provide the required files for the GPU to proceed. The BSP 
+currently boots with an older version of the official Raspberry Pi Firmware.
+These files can be downloaded from
+`the Raspberry Pi Firmware Repository <https://github.com/raspberrypi/firmware/tree/1.20200601/boot>`_.
 You can remove the ``kernel*.img`` files if you want too, but don't touch
 the other files.
 
-- 
2.27.0