Revises microkernel memory pool code so that it properly handles the case where the kernel does not have timer support. Change-Id: I38fc3916681bbd3ac678399724ddb679a16f6ead Signed-off-by: Allan Stephens <allan.stephens@windriver.com>