from conversations with Staf a review of how litex generates SDcard clocks is based on doing its own digital dividing rather than selecting from a PLL-generated suite of "available and known-stable clocks". this will need investigating and replacing for a future ASIC