A20fl/fl mice were generated as previously described [56].