christoph: grub + 2010 + linux + server