This file exists only with the micro kernel. Change-Id: Ic175cd4af60fb533c335cae4325cfd85c47b97a7 Signed-off-by: Anas Nashif <anas.nashif@intel.com>