[U-Boot] [PATCH v3 00/15] RPi: Properly handle dynamic serial configuration