[Bug 386480] Kernel option CONFIG_PREEMPT causes application FPU stack corruption