Added new helpers to the kernel