Mark3C support for KERNEL_EXTRA_CHECKS
Authored by: m0slevin 2016-10-01
Parent: [r380]
Child: [r382]