Arch Linux has a reputation for being hard to use, but this distro has gotten a lot easier to run on your PC over the years.
The travel guide doesn't tell you everything.
bootargs = "earlycon=uart8250,mmio32,0xff4c0000 console=ttyFIQ0 root=/dev/mmcblk1p7 rootwait snd_soc_core.prealloc_buffer_size_kbytes=16 coherent_pool=0"; ...