[Bug 406086] Wrong default boot after changing kernel from pae to default