docs: Update Raspberry Pi Pico and Pico W docs to include the new SDK…

… version and `picotool` instructions.

Documentation/platforms/arm/rp2040/boards/raspberrypi-pico-w/README.txt

@@ -50,11 +50,19 @@ Installation
   $ cd pico-sdk
   $ git submodule update --init --recursive lib/cyw43-driver
 
-2. Set PICO_SDK_PATH environment variable
+2. Download and install picotool
+
+  Instructions can be found here: https://github.com/raspberrypi/picotool
+
+  If you are on Arch Linux, you can install the picotool through the AUR:
+  $ yay -S picotool
+
+
+3. Set PICO_SDK_PATH environment variable
 
   $ export PICO_SDK_PATH=<absolute_path_to_pico-sdk_directory>
 
-3. Configure and build NuttX
+4. Configure and build NuttX
 
   $ git clone https://github.com/apache/nuttx.git nuttx
   $ git clone https://github.com/apache/nuttx-apps.git apps
@@ -63,12 +71,12 @@ Installation
   $ ./tools/configure.sh raspberrypi-pico:nsh
   $ make V=1
 
-4. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
+5. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
    The board will be detected as USB Mass Storage Device.
    Then copy "nuttx.uf2" into the device.
    (Same manner as the standard Pico SDK applications installation.)
 
-5. To access the console, GPIO 0 and 1 pins must be connected to the
+6. To access the console, GPIO 0 and 1 pins must be connected to the
    device such as USB-serial converter.
 
    `usbnsh` configuration provides the console access by USB CDC/ACM serial

Documentation/platforms/arm/rp2040/boards/raspberrypi-pico/README.txt

@@ -45,13 +45,20 @@ Installation
 
 1. Download Raspberry Pi Pico SDK
 
-  $ git clone -b 1.1.2 https://github.com/raspberrypi/pico-sdk.git
+  $ git clone -b 2.0.0 https://github.com/raspberrypi/pico-sdk.git
 
-2. Set PICO_SDK_PATH environment variable
+2. Download and install picotool
+
+  Instructions can be found here: https://github.com/raspberrypi/picotool
+
+  If you are on Arch Linux, you can install the picotool through the AUR:
+  $ yay -S picotool
+
+3. Set PICO_SDK_PATH environment variable
 
   $ export PICO_SDK_PATH=<absolute_path_to_pico-sdk_directory>
 
-3. Configure and build NuttX
+4. Configure and build NuttX
 
   $ git clone https://github.com/apache/nuttx.git nuttx
   $ git clone https://github.com/apache/nuttx-apps.git apps
@@ -60,12 +67,12 @@ Installation
   $ ./tools/configure.sh raspberrypi-pico:nsh
   $ make V=1
 
-4. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
+5. Connect Raspberry Pi Pico board to USB port while pressing BOOTSEL.
    The board will be detected as USB Mass Storage Device.
    Then copy "nuttx.uf2" into the device.
    (Same manner as the standard Pico SDK applications installation.)
 
-5. To access the console, GPIO 0 and 1 pins must be connected to the
+6. To access the console, GPIO 0 and 1 pins must be connected to the
    device such as USB-serial converter.
 
    `usbnsh` configuration provides the console access by USB CDC/ACM serial