Quelle est la taille du programme boot d'origine de la JAG ? 36Ko ?