Those can be used with unified kernel. Change-Id: I4bd024f7e645b99ac1b8df6dfbbdd94f2fda99c4 Signed-off-by: Anas Nashif <anas.nashif@intel.com>