[PATCH v1 0/5] SoCFPGA mailbox driver fixes and enhancements