/* Note: The contents of this file were borrowed from the coreboot source
* code which may be obtained from http://www.coreboot.org.
- * Specifically, this code was obtained from coreboot (LinuxBIOS)
+ * Specifically, this code was obtained from coreboot (LinuxBIOS)
* version 1.0.0.8.
*/