Re: [U-Boot] [PATCH v2 5/7] rpi: Properly detect which serial device is active