Вы можете сделать это с помощью сценария оболочки, объединяющего wget и aspell. Вы имели в виду среду программирования?
Я бы лично использовал python с Beautiful Soup для извлечения текста из тегов и передачи текста через aspell.
Похоже, что компилятор отправляет вызов библиотечной подпрограмме для выполнения плавающего точка умножается для вас (предположительно, без использования SSE), но пытается использовать ABI для вызова, возвращаемое значение которого передано в SSE. Очевидно, это не сработает.
Если вообще возможно использовать плавающую точку в вашем ядре, должна быть специальная библиотека времени выполнения для выполнения операций soft-float, которые не используют обычные (пользовательские) соглашения о передаче и возврате аргументов. Однако, Насколько мне известно, в ядре BSD нет поддержки с плавающей точкой. Так было несколько лет назад.
Вам, вероятно, следует просто спросить список рассылки разработчиков ядра BSD, можно ли использовать числа с плавающей запятой; Я подозреваю, что это даст вам более быстрый и окончательный ответ, чем SO.