KernelUtils.h - add helpers

Change-Id: I03eff7e10a81f07d5e08fad49f753fa5b6be344e
1 file changed