XMP is just a simple option in his bios and will let him set his memory at whatever speed.Two settings one will be profile1/XMP/profile 2 and below it will be memory frequency so select XMP and DDR3 1600/1866/2133/2400 etc.He should always be using XMP even when overclocking i did and do use XMNP to overclock my ram and XMP is faster due to sub optimized timings etc.