[PATCH 04/11] Kernel: Enable undefined behaviour sanity checker