review.coreboot.org / coreboot / 7fcd4d58ec7ea2da31c258ba9d8601f086d7f8d8 / src / mainboard / google / rex / ec.c