davide added a comment. "This change helps for linking FreeBSD kernel." Can you please elaborate? Have you tried booting and you are able to boot a running kernel with this change, and without you're not able to? https://reviews.llvm.org/D23447