Alwasy define CHERI_CC on CHERI systems.
Add USB kernels.