Я отвечу на свой вопрос.Я нашел в документации по Kernel Makefile следующее:
--- 3.5 Цели файла библиотеки - lib-y Объекты, перечисленные с помощью obj- *, используются для модулей или объединяются во встроенном .o для этого конкретного каталога,Существует также возможность перечисления объектов, которые будут включены в библиотеку lib.a.Все объекты, перечисленные с помощью lib-y, объединены в одну библиотеку для этого каталога.
Итак, я сделал так, чтобы изменить файл make так, чтобы он выглядел следующим образом:
EXTRA_CFLAGS+=-DLINUX_DRIVER -mhard-float
obj-m += main.o lib.a
lib-y := Obj.o Obj1.o Obj2.o Obj2.o ...
Я надеваюНе знаю почему, но из-за предложенных ответов make-файл "забыл", что это был make-файл ядра, и все ядра, включенные в него, и определения дополнений в дополнительных флагах игнорировались.
Надеюсь, это поможет кому-то в будущем
С наилучшими пожеланиями,
Нуно Сантос