Use prebuilt kernel since ASUS is taking their sweet time