ユーザアカウントのホームに作成される .VirtualBox フォルダ（ディレクトリ）に、XML形式の
設定ファイル VirtualBox.xml がある。
このファイルには、セッティングに関してのUUID値も記録されるので、バックアップしておけよ。