add XLEN option to regfiles via pspec