Did it boot? I don't see the error anymore? FSBFrequency was 0, causing the DivU64x64Remainder error.
I've set OC to apply a FSB of 100 if it detects 0
if (CpuInfo->FSBFrequency == 0) {
DEBUG ((DEBUG_ERROR, "OCAK: FSBFrequency is 0, setting default value to 100MHz\n"))...