Fix 64-bit uint -> intptr_t casting issue in CPU::FlushICache