Re: [coreboot] #23: Use Doxygen-style comments