kernel/extable: fix address-checks for core_kernel and init areas