Re: [coreboot] [RFC] Removing RTC configurable baud rate