How is the free firmware for the Raspberry progressing?