Instalando o Linux 64 bit: módulo PCH_GBE não suportado

Question

Eu instalei o seguinte sistema Linux no meu (bastante antigo) IPC (Siemens IPC 227D):

esys@mykros:~$ uname -r
4.4.0-31-generic #50~14.04.1-Ubuntu SMP Wed Jul 13 01:07:32 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux

esys@mykros:~$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 14.04.5 LTS
Release:        14.04
Codename:       trusty

Como este é um kernel de 64 bits, não posso ativar / compilar / usar o módulo pch_gbe ( Módulo PCH_GBE ), que eu preciso para uma das duas portas ethernet. Dentro do arquivo Kconfig do módulo, diz:

depends on PCI && (X86_32 || COMPILE_TEST)

então 64 bit não é suportado. Além disso, quando deseleciono a opção 64 bit kernel no make menuconfig , o módulo desejado aparece em

Device Drivers --> Network Device Support --> Ethernet Driver Support -->
OKI SEMICONDUCTOR IOH(ML7223/ML7831) GbE (NEW)

e eu posso selecioná-lo.

É necessário voltar a um sistema de 32 bits (por isso não posso usar o docker) ou existe alguma possibilidade de usar este módulo no meu sistema de 64 bits?