[Raspberrypi 3b+] U-boot loaded kernel and devicetree with workable UART on December 18, 2024 boot devicetree RaspberryPI uart uboot +