Bluespec uses active-low reset signals, whereas the ECP5 primitives use active-high. So this was holding the EBRs in reset after the rest of the design was running. Oops.