Revises microkernel mailbox code so that it properly handles the case where the kernel does not have timer support. Change-Id: Ibd3ff657e0cad1320d037d7c1e3e3c673c56c9e9 Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
Signed-off-by: <inaky.perez-gonzalez@intel.com>