Adding Android-x86 to grub menu by Mandeep Singh