changed 'platform.old' to 'old/platform'

In case anyone actually needs to revert to their old platform, the path 'platform.old' will not be bootable.  Placing the 'platform' directory under the root 'old' will however enable someone to boot their old platform by editing GRUB's 'kernel' and 'module' lines accordingly.

\- Dimitri