Never heard of different boy and girl vaccines, at all. Viruses don’t care which sex you are.
And there is only one dosing protocol and one form of Gardasil. http://www.merck.com/product/usa/pi_circulars/g/gardasil/gardasil_pi.pdf
Someone got the story very mixed up.
As to this boy, it sounds as though he has juvenile onset diabetes.
There is no difference. It is dosed the same and given the same.
Gardasil is given to both males and females. The female-only version of the vaccine is called Cervarix.