kernel: Set some options to default shown with CONFIG_KERNEL_UBSAN=y