Building device driver failing

I’m trying to build a character device driver for my BBB but I’m running into the following build issue when I build the interface functions that have to copy_from_user or copy_to_user:

/tmp/ccoWFnlK.s: Assembler messages:
/tmp/ccoWFnlK.s:204: Error: selected processor does not support `isb ' in ARM mode
/tmp/ccoWFnlK.s:218: Error: selected processor does not support `isb ' in ARM mode

My first guess is that I need to change something in the driver makefile, but I don’t know where to start… My makefile is here:

obj-m := main.o

KDIR = /home/ubuntu/ti-linux-kernel-dev-4.14/KERNEL
ARCH = arm
CROSS_COMPILE = arm-linux-gnueabihf-

all:
	make ARCH=$(ARCH) CROSS_COMPILE=$(CROSS_COMPILE) -C $(KDIR) M=$(PWD) modules

clean:
	make ARCH=$(ARCH) CROSS_COMPILE=$(CROSS_COMPILE) -C $(KDIR) M=$(PWD) clean

I’m thinking that something may be off in the kernel configuration also, but I don’t know. Can anyone point me in a direction that might be useful?

have a look at this post
https://groups.google.com/g/beagleboard/c/69JOpUhfTMw?pli=1

I’ve had to back port a patch here and there for that, it’s definitely a newer version of GCC where they changed ‘defaults’…

Regards,