Add support for kfreebsd-amd64 boot over iPXE