Grazie per la risposta.
Purtroppo credo che quelle informazioni si riferiscano a una partizione «standard» di Boot Camp, ovvero creata sul disco dove c'è anche la partizione di boot di OS X. La partizione Boot Camp che vorrei utilizzare è un volume in un disco secondario, diverso da quello dove effettuo il boot di OS X (vedi il mio intervento precedente).