No idea. I also had a similar problem and found out the solution myself. The first option (the default one) doesn't flash the default kernel, it leaves the old one flashed.