A simple BIOS setting unlocked the full speed my RAM promised.