Extract write queue to sev_queue.h