Thank you for the responses. In order: No, I have no delidded or done any customisation regarding installation or settings. That is, beyond the automatic OC to 4.7.
Memory clock is set at 'default 2133' in the bios. I just checked the bios and it all seems normal. However, it is a single 2133...