Enable some options - since the kernel is booting again