[Git][cmucl/cmucl][master] Add comment on why RESTORE_FPU is needed.