Add a tiny kernel for recovery