For a machine with only one physical drive(say 40 GB), what the recommended / best practice for system partition size?