405 should work on the 4460 as well :S but I have the 4430 so I don't really know.
I've got a question though to the devs out there:
What is the difference between this kernel and the stock one? (If I compile a kernel based on archos ics sources, can I use that directly or is there some patch I need to make?)
This kernel "zImage" is the stock kernel included in stock firmware_archos_it4.aos 4.0.5 !
Normal it should be work also your custom kernel . ( do not need any patch just save your linux.config -> ".config" in the kernel directory) . Good luck !
P.S. : - you can take a look here : => http://forum.xda-developers.com/show....php?t=1622437