review.coreboot.org / coreboot / 3edf840ad15154d38769c0115811906284762b11 / src / commonlib / bsd / gcd.c