Added code to copy the OS to $DEST

Note - the last section is missing