Revert "Try out mirage kernel"

This reverts commit 3fbc342ba1c6e378e26ed0fd2ea174f749447370.