Re-build all BearSSL for sanity, completeness

Author: earlephilhower

include/bearssl/bearssl_git.h

@@ -1,2 +1,2 @@
 // Do not edit -- Automatically generated by tools/sdk/ssl/bearssl/Makefile
-#define BEARSSL_GIT c2c9d9d
+#define BEARSSL_GIT 5b7f3d5

lib/rp2040/libbearssl.a

@@ -22,7 +22,7 @@ all2rv: bearssl/README.txt
 	PATH="$(PWD)/../../system/riscv32-unknown-elf/bin/:$(PATH)" && riscv32-unknown-elf-gcc --version && cd bearssl && $(MAKE) CONF=pico2rv clean all
 
 install2rv: all2rv version-header
-	cp bearssl/picorv/libbearssl.a ../../lib/rp2350-riscv/.
+	cp bearssl/pico2rv/libbearssl.a ../../lib/rp2350-riscv/.
 	ar d ../../lib/rp2350-riscv/libbearssl.a `ar t ../../lib/rp2350-riscv/libbearssl.a | egrep 'x86|sse|pwr8|i62|m32|m62|m64|ct64|ctmul64'` # Remove unneeded objects
 	cp bearssl/inc/bearssl*.h ../../include/bearssl/.