opt = get_boot_option(ctx, 1);
check_unresolved_resource(opt->boot_image);
check_unresolved_resource(opt->initrd);
check_name(opt, "Kubuntu GNU/Linux, with Linux 3.8.0-19-generic");
opt = get_boot_option(ctx, 1);
check_unresolved_resource(opt->boot_image);
check_unresolved_resource(opt->initrd);
check_name(opt, "Kubuntu GNU/Linux, with Linux 3.8.0-19-generic");