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