Kbuild: depend CONFIG_MICROKERNEL for building sysgen file

This file exists only with the micro kernel.

Change-Id: Ic175cd4af60fb533c335cae4325cfd85c47b97a7
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
1 file changed