К сожалению, у PPA нет способа указать переменные среды (включая DEB_BUILD_OPTIONS). До тех пор, пока они этого не сделают, вам нужно будет отредактировать файл debian/rules и вручную установить его рядом с верхней (но не первой строкой, если он использует «#!»):
DEB_BUILD_OPTIONS=nodocs
Необязательно, просто найдите раздел файла rules, который ищет «nodocs» и измените его, чтобы сделать то, что вам нужно.
Кажется, что grub не делает дисплей доступным для Windows 7 так, как он ожидал, поэтому Windows 7 не думает, что есть подключенный дисплей. Попробуйте пойти в ubuntu и установить burg, я обнаружил, что он имеет гораздо лучшую поддержку для оконных систем, чем grub