Calculate the kernel's (actual) size via linker