Kernel/x86 - Workaround for possibly buggy 64-bit divide/modulo

UCC git Repository :: git.ucc.asn.au