Manpages не работают в Ubuntu 16.04

Я рад сообщить, что нашел основную причину проблемы. Я случайно нашел эту страницу: Windows Support for UEFI , и прочитал там следующее:

В UEFI 2.3.1 существуют версии UEFI как для x86, так и для x64. Windows 10 поддерживает оба. Однако UEFI не поддерживает кросс-платформенную загрузку. Это означает, что компьютер с UEFI x64 может работать только с 64-битной операционной системой, а компьютер с UEFI x86 может работать только 32-разрядная операционная система.

Я устанавливал на компьютер UEFI с 64-битным процессором Intel, но использовал debian-8.7.Образ 1-i386-DVD-1.iso . Когда я использовал образ amd64 - debian-8.7.1-amd64-DVD-1.iso - вместо этого все работало нормально. Теперь у меня есть несколько секунд, чтобы выбрать ОС с Linux по умолчанию.

Меня сбили с толку странные соглашения об именах в архитектуре. Когда я впервые выбрал ISO-образ, я не был уверен, что amd64 будет работать, потому что у меня был процессор Intel, а i386 до сих пор обычно был безопасным выбором, но позже я прочитал на сайте Debian, что amd64 предназначен для 64-битных архитектур как AMD, так и Intel.