recover mqueue_*.c since POSIX message queue is available on PetaLinux