https://thedigitallifestyle.com/w/2012/05/tip-extending-the-partition-on-a-raspberry-pi-install/