Change Mailbox to use the RTL mailbox register interface. Change-Id: I90031927d518696220c8e4dae4680fc594e1401b