cmake: honor again CONFIG_KERNEL_ENTRY

This was impacting Jailhouse port, at least.

Signed-off-by: Gustavo Lima Chaves <gustavo.lima.chaves@intel.com>
1 file changed