stmhal, modcc3k: Add ioctl to cc3k sockets so select works.