Do we need to reformat the partitions when the fixed kernels arrived?