usb_pc_cpu_flush

[Hans Petter Selasky]

Hi Kott,

Can you tell us which ARM kernel configuration file you are using for 
FreeBSD? Reading through this thread I cannot see this piece of 
information yet.

Have you tested other ARM platforms?

Thank you,

--HPS