rpi-eeprom-config usr/bin/ rpi-eeprom-update usr/bin/ debian/default/ etc/ firmware/vl805 usr/bin/