Clean & edit defconfig, rename raspberry pi bootloader constant & clean post-build script