GitLab

While we configure gem5 and qemu to directly load the kernel, simics will use a
proper EFI-based firmware for boot.

This is the newest LTS kernel release. Will also come in handy for
disaggregated memory stuff later.

Binutils changed something about how it generates symbol tables in
recent versions (newest ubuntu LTS at least). This adds a patch to fix
the resulting error.

Ubuntu cloud images use this for EFI.