o Modified Makefile to consider .S assembly microkernels.