Darwin kernel: fix x86_64-*-darwin* target