ci: Get working on latest ubuntu #179

Job	Run time
verilator-lint	14s
verilator-lint	14s
formal-verification	9s
formal-verification	14s
or1k-tests (or1k-cy)	1m 19s
or1k-tests (or1k-cy)	8m 59s
or1k-tests (or1k-cy, --feature_dmmu NONE)	1m 28s
or1k-tests (or1k-cy, --feature_dmmu NONE)	9m 10s
or1k-tests (or1k-cy or1k-dsxinsn, --feature_immu NONE)	1m 29s
or1k-tests (or1k-cy or1k-dsxinsn, --feature_immu NONE)	8m 50s
or1k-tests (or1k-cy, --feature_datacache NONE)	1m 27s
or1k-tests (or1k-cy, --feature_datacache NONE)	8m 3s
or1k-tests (or1k-cy, --feature_instructioncache NONE)	1m 37s
or1k-tests (or1k-cy, --feature_instructioncache NONE)	12m 30s
or1k-tests (or1k-cy, --feature_debugunit NONE)	1m 31s
or1k-tests (or1k-cy, --feature_debugunit NONE)	9m 20s
or1k-tests (or1k-cy or1k-cmov, --feature_cmov NONE)	1m 24s
or1k-tests (or1k-cy or1k-cmov, --feature_cmov NONE)	9m 6s
or1k-tests (or1k-cy or1k-ext, --feature_ext NONE)	1m 33s
or1k-tests (or1k-cy or1k-ext, --feature_ext NONE)	9m 59s
	1h 28m 36s

Provide feedback