UART3 disabled in stock Ubuntu image on Pico Pro Max — device-tree findings + boot failure report