ALT Starterkit на основе p11 предположительно установлен и, надеемся, загрузится.