Since the microkernel now supports only a single processor, there is no longer a need for a means to identify it. Change-Id: If5b2d8e114d8a3bfdd597bc23d70be5e1fa2238c Signed-off-by: Allan Stephens <allan.stephens@windriver.com>