HWI and QUE_put(queue, elem);

Yes. It is fine to call QUE_put from a HWI. Please refer to the BIOS API Reference Guide (appendix A) for a detail list of the APIs that can be called in the different thread contexts.

Todd