はじめまして。
自分はNattyのx64を使用しています。
gnomenuは自分が探してみたところでは、x86向けのものばかりでのようで、
過去の質問を検索してもなかったので今回質問させていただきました。

もし分かる方がいらっしゃったら、回答お願いします。