Re: [PATCH v2] cxgb4: add forgotten u64 ivlan cast before shift