90c90
< kernelStats = new Kernel::Statistics(system);
---
> kernelStats = new TheISA::Kernel::Statistics(system);
161c161
< Kernel::Statistics *stats = oldContext->getKernelStats();
---
> TheISA::Kernel::Statistics *stats = oldContext->getKernelStats();
182c182
< Kernel::Statistics *stats = context->getKernelStats();
---
> TheISA::Kernel::Statistics *stats = context->getKernelStats();