Re: [coreboot] coreboot and embedded controllers, for example OLPC and its OpenEC code