set(KERNEL_VERSION_MAJOR "0")
set(KERNEL_VERSION_MINOR "4")
-set(KERNEL_VERSION_PATCH_LEVEL "7")
-set(COPYRIGHT_YEAR "2017")
+set(KERNEL_VERSION_PATCH_LEVEL "8")
+set(COPYRIGHT_YEAR "2018")
# KERNEL_VERSION_BUILD_TYPE is "dev" for Git builds
# or "RC1", "RC2", "" for releases.