Have you tried ndk os3.9 ? AFB_68060 and AFF_68060 are defined in exec/execbase.h !!!
x303 
Yes, but not in exec/execbase.i
It should look like this...
BITDEF AF,FPU40,6 ; Set if 68040/68060 FPU
BITDEF AF,68060,7 ; Set if 68060
The 68060 is bit 7 so we can do a tst.b to check it...
tst.b (AttnFlags+1,a6) ;btst #AFB_68060,(AttnFlags+1,a6)
Saves 2 bytes and it's faster on some 68k processors
.
