SD/MMC host controller + 64-bit system bus

[Joanne Koong]

Hello! I noticed that the default SD/MMC host controller only supports a
32-bit system bus. Is there a reason 64-bit system buses aren't supported
by default?

Thanks!