悸村です。 その後、次のページを参考にして進展がありました。 (インストールしてある Android-x86 のバージョンには誤記があるとは言え)。 http://askubuntu.com/questions/481982/add-android-x86-4-4-rc2-to-ubuntu-grub /etc/grub.d/40_custom に Android-x86 の項目を追加し、 sudo update-grub を実行。grub メニューに Android-x86 も、一番最後に、現れています。 お騒がせ致しました。 -- 悸村成一