[Bug 961536] grub2 pxe timeout (again?)