Arch Linux 2018.07.01 ya está disponible con el nuevo Kernel 4.17