This internal kernel API is misplaced in a public kernel header. Just make it available to the code using it in the kernel. Signed-off-by: Anas Nashif <anas.nashif@intel.com>