I forgot to bug-lispm this before, but all memory boards are now at identical modification levels and contain all known modifications, except for the super-fast refresh, which has been flushed. I guess we'll try and figure out whether they work over the next few days.