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