correct kernel selection for VLIW4 (Cayman)