19-verifykernel: Remove uneeded passes.