I just figured it out.
Seems like when choosing to use DOCP in the BIOS, only the voltage, CL, RCDRD, RCDWR, RP and RAS are read from the XMP profile.
For whatever reason, RC, RFC1, RFC2, RFC4, RDDL, RDDS and FAW are ignored.
When I read these timings' values using AIDA64, I saw that they were...