For consistency, would it be worth also using this style of referring to LEDs in your `boot.py` ?