Buildroot add-on for building a minimal Raspberry Pi root filesystem