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