s390x/migration: add comment about floating point migration