Fix daily CI break on NuttX.
- Spec test needs about 15 min - Skip some test cases that cannot pass now, most of which are FP relative (due to potential bugs in NuttX's libc)
