Ah, i remember now..
The whole 586 core is in a single verilog file of 7MB!
It's machine generated verilog. If something is not working - then you won't be able to fix it. It's non maintainable source.
The status of the core is also unclear..
Some playroom for paulofduarte