quick hack for build kexec on freebsd