Re: [coreboot] [RFC] Deciding on style for multi-line comments