Modifications for proper MMIO forwarding to per CPU SystemC wrappers