Re: [Arm-dev] Gigabyte MP30-AR0, nomodeset, and retaining output on serial console