Increase root partition to 16GiB

Increase the size of the first HDD to 20GiB, from which 16GiB is the
root partition. Fixes #13