work around RPi booting in safe mode