Patch "x86: fix build warnign with 32-bit PAE" has been added to the 4.4-stable tree