Could be CLOSED from my side. kernel-pae-4.9.0-2.1.g6fbc0c0.i686.rpm works as expected on my little VIA C7-D i686 server. Linux 4.9.0-2.g6fbc0c0-pae (geeko@buildhost) (gcc 6.2.1 20161209) #1 1CPU [xxx.(none)] Memory: Total Used Free Shared Buffers Cached Mem: 3608104 940820 2667284 0 181184 580356 Swap: 0 0 0 Bootup: Sun Dec 18 06:09:32 2016 Load average: 0.00 0.00 0.00 1/134 6066