There is an error in the TCL code that generates timing constraints for the mailbox. However, it looks like there is a problem with synthesis (XST) causing a timing error.
This issue has been fixed in the latest xps_mailbox, and is available in EDK 11.3.
EDK 11.3 is available at: