mailbox: rename pl320-ipc specific mailbox.h