boot from vanilla Arch kernel if available