Speed up startup time for --stdout by using an empty kernel