Root partition configuration tool for the Raspberry Pi