Manually setting timings in the bios (very, very long post)