Synchronize our RPi config with Buildroot's new one

It looks like this just pulls in some fixes from the Raspberry Pi
foundation.