Only estimate kernel source size if we actually have the kernel source

See issue #21 for the discussion why this seems necessary under OSX.