Hard disk partitioning