altos: Switch LED pin number to 8 bits