document the Kernel constant