ユーザーは、amiを起動するときにデフォルト以外のカーネルを選択できる可能性がある。