Does this explanation of the security of an electrum seed check out?
Yes it is correct. Bruteforcing n bits with 2048 rounds of hmac for each attempt is equivalent to bruteforcing n +  11 bits but only requiring one round of hmac for each attempt. They are equivalent because the rounds of work required to determine each secret (n bits vs n + 11 bits) are identical.