ci: Get working on latest ubuntu #181

Job	Run time
or1k-tests (or1k-cy)	11m 41s
or1k-tests (or1k-cy, --feature_dmmu NONE)	8m 41s
or1k-tests (or1k-cy or1k-dsxinsn, --feature_immu NONE)	9m 17s
or1k-tests (or1k-cy, --feature_datacache NONE)	8m 12s
or1k-tests (or1k-cy, --feature_instructioncache NONE)	11m 58s
or1k-tests (or1k-cy, --feature_debugunit NONE)	11m 12s
or1k-tests (or1k-cy or1k-cmov, --feature_cmov NONE)	12m 11s
or1k-tests (or1k-cy or1k-ext, --feature_ext NONE)	9m 1s
formal-verification	27m 7s
verilator-lint	11s
	1h 49m 31s

Provide feedback