Add IPC memory and mailbox chosen properties. The mailbox channels used are as expected by Linux. Signed-off-by: Andrew Davis <afd@ti.com>