Split __kernel_standard* functions (fixes bug 17724).