CRG: use new Migen Module