x86: ivybridge: Use APIs provided in the mrccache lib