this cuts down the time to distill to about 6 mins, compared to 90 mins before. Without distill, untar kernel takes 3 mins with my machines.
this cuts down the time to distill to about 6 mins, compared to 90 mins before.
Without distill, untar kernel takes 3 mins with my machines.


git-svn-id: ae92b08b608af1c8cefa3e10d2325ea527204e07@15461 3eda493b-6a19-0410-b2e0-ec8ea4dd8fda

pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable