para que te reconozca la tarjeta de 4gb efectivamente necesitas boot superior a 55xxx ,
el 55138 es perfecto ,si efectivamente llevas ese boot dejalo y olvidate de boot , centrate en instalar el navcore y mapas truck y olvidate de boot