Anonymous 04/15/2018 (Sun) 16:51:53 No.12643 del
Running mainline kernel is now much easier.

Mainline Kernel
The installation above will use the ChromeOS 4.4 kernel. The mainline kernel can be used instead, though some hardware may not be working yet.

Install linux-aarch64 packages, replacing the linux-gru package:
pacman -S linux-aarch64 linux-aarch64-chromebook
Type y and hit enter when prompted to flash the kernel to the kernel partition.