Vanilla linups kernel for ARM Chromebooks