Update Alucard kernel