Anomaly cancellation in K3 orientifolds