The court records from your bankruptcy will establish whether or not notice was mailed to your primary mortgage lender. I expect that they'll accept documentation of that fact.

It sounds like your first mortgage lender remains fully secured, so the issue of the bankruptcy may not be that big of a deal to them.