I no longer need the option to boot different operating systems and want to overcome Berryboot's firmware/kernel update limitations.
Could I simply replace the current FAT boot partition with a regular/vanilla one?
I worked it out. I set up a blank SD card with proper partitions using gparted. I copied the boot files from another Pi 2 to the boot partition, I booted my berryboot setup with the new SD card in a card reader in one of the USB ports. I copied (
cp -pdRx) the running OS partition to the blank one (
rsync would have worked as well).
I only had to enter the proper network settings in
I ran into some minor problems which stemmed from having run
rpi-update before and thus having created an inconsistent setup (rpi-update cannot really write to the boot partition in a berryboot setup). Running
rpi-update again in the new non-berryboot environment fixed this