Fix registerServices usage in kernel