On Thu, 7 Apr 2016, Ralf Baechle wrote: > Everybody is running Sibyte 64 bit; I wonder if highmem with Sibyte is > also affected. Last time I tried SiByte with a 32-bit kernel (a couple years ago) it didn't boot at all in the first place. FWIW, Maciej