coreboot-kgpe-d16/src/arch/ppc/include/div64.h