So I can’t get Antergos to boot from a Live usb. I hit enter so it can start but it just reboots and I’m back to hitting ctrl L, where the boot screen comes up again.
At first I thought it was an issue with the small amount of RAM the C720 has (2GB) so I hit up tab and add mem=1536m but still it just reboots. Now I know the mem=1536m trick works on an older Arch iso (2013.10.01).
I really want to use Antergos as I cannot be bothered to install Arch from scratch.
UPDATE: I went ahead and installed the 32bit version.