Цитата
Поддержка операций с плавающей точкой займет несколько килобайт (__fMul, __fSub, __fDiv ... )
Хм, вынесите их просто в отдельный модуль, который будет загружатся до юзер-кода

имея единую таблицу функций, это все просто реализовать.
В противном случае,
Цитата
кроме как разбирать map файл BIOSа извлекать их адреса
, решения вроде бы не видно...
ps ну не тащите вы FPU в BIOS, не место ему там.