christoph: grub + ubuntu + 2010 + server