posix: Fix missing `restoreIRQ()` in `sem_post()`