Anomaly cancellation in K 3 orientifolds