Update RPi boot files for real <sigh>