Jein ... dachte ich auch mal.
Aber Du hast ja keine Garantie, dass der GPIO-Pin beim booten nicht kurz auf HIGH geht ... zumindest ist mein Wissensstand, dass der Zustand der GPIO-Pins erst nach dem Bootvorgang definiert ist.
Ist imho also gehüpft wie gehechtet
bye,
-ds-