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