Hi Igor,
can you patch the OS/4 kernel to revision 14.x and see if then the USB AN 12.x drivers will work ?
I am aware of the fact that it is not AN's job to support a kernel they don't provide (so: as an OS/4 kernel user, you are on your own, it's all your problem, if it works, then fine, if it does not, too bad) but I still see no technical limitation to use the AN drivers with an OS/4 kernel.
Note: In my own USB drivers (namely: USBD.SYS) I had added some small piece code to do something specific for the OS/4 kernel but keeping compatibility with the OS/2 and AN kernels. As far as I know my USB drivers still work on the OS/2, AN and OS/4 kernels and in fact I normally use the OS/2 kernel but occasionally I boot into the OS/4 kernel, none of either is a problem.