u500: enable FPU; needed by linux