In stdfloat, correct the detection of float80_t.
In DRAM memory refresh, clean up the comments.