use ext4 for system partition