On Sun, Apr 06, 2014 at 05:10:45PM +0200, Christoph Biedl wrote: > Did not remember as a wasn't aware of that. Indeed: > > # CONFIG_FPE_NWFPE is not set > > One kernel re-build later everything's doing now as expected. Oh good. I just happen to know OABI has the old FPU as mandetory. That was one of the biggest reasons for the EABI to be created. -- Len Sorensen