Das ist eine gute Frage... ich glaube die habe ich aus dem Guide übernommen, und da 10.12.2 ja funktioniert, habe ich es als Anfänger nie weiter in Frage gestellt.
Kann das die Ursache zwischen den unterschiedlichen Boot-Verhalten beider Versionen sein?