I suspect what you're seeing is an ability for a kernel to support sv57 hardware, not a requirement for it.
4.6 Sv57: Page-Based 57-bit Virtual-Memory System
Implementations that support Sv57 must also support Sv48.
-----------------
Systems that support Sv57 can also support Sv48 at essentially no cost, and so should do so to maintain compatibility with supervisor software that assumes Sv48.
4.5 Sv48: Page-Based 48-bit Virtual-Memory System
Implementations that support Sv48 must also support Sv39.
----------------
Systems that support Sv48 can also support Sv39 at essentially no cost, and so should do so to maintain compatibility with supervisor software that assumes Sv39.