Fix for loading Kernel by default.

The Kernel constant would not be loaded by default when building the list of
definitions due to the use of a removed option.

Signed-off-by: Yorick Peterse <yorickpeterse@gmail.com>