How about a test without video at 125MHz? It would be good to know if that boots to the expected leds.
My simulation now ran for 400ms, but it is still doing stuff with the file system at that time.
ERROR: Failed to pack flipflop 'controller.dbi_FF._TECHMAP_REPLACE_' with 'syn_useioff' set into IOLOGIC. ERROR: Packing design failed.