let's say I have my PC set up for dual boot, and decide I no longer need the concurrent Windows install. how would I go about formatting the Windows side of the disk and making that memory space available to the Linux side, without having to do a full reinstall of my Linux distro?