fix ec2 instance for xeon #792

Job	Run time
CBMC (macos-latest)	7m 8s
Functional tests (MacOS)	7m 7s
Linting (ubuntu-latest)	45s
Functional tests (ubuntu-latest (aarch64))	1m 51s
Functional tests (ubuntu-latest (x86_64, cross))	7m 7s
Functional tests (ubuntu-latest (x86_64, native))	1m 44s
AMD EPYC 4th gen (c7a) / Start AMD EPYC 4th gen (c7a) (c7a.medium)	1m 5s
Intel Xeon 4th gen (c7i) / Start Intel Xeon 4th gen (c7i) (c7i.large)	1m 2s
Intel Xeon 4th gen (c7i) / Linting Intel Xeon 4th gen (c7i)	50s
Intel Xeon 4th gen (c7i) / Functional tests Intel Xeon 4th gen (c7i)	44s
Intel Xeon 4th gen (c7i) / CBMC ${{ inputs.name }}	0s
AMD EPYC 4th gen (c7a) / Functional tests AMD EPYC 4th gen (c7a)	6s
AMD EPYC 4th gen (c7a) / CBMC ${{ inputs.name }}	0s
AMD EPYC 4th gen (c7a) / Linting AMD EPYC 4th gen (c7a)	58s
AMD EPYC 4th gen (c7a) / Stop AMD EPYC 4th gen (c7a) (c7a.medium)	4s
Intel Xeon 4th gen (c7i) / Stop Intel Xeon 4th gen (c7i) (c7i.large)	6s
	30m 37s

Provide feedback