enable mutex lowering and hardware floating point on gnueabihf. closes #10482