I believe that many existing ASIC implementations assume the rest of the bitcoin header after the nonce to be a fixed constant. I cannot speak for Avalon specifically, but I'm aware of several ASIC designs that will fail to work if the header is extended with non-constant data after the "2nd round" 16 bytes.
It would still be mostly "constant". The ASIC would still just vary the 32-bits of the nonce (so 4 billion hash checks). The question was if the data after the nonce has to be all zeros, i.e. is it hard coded into the ASIC that the header is 80 bytes long.
Is this proposal being seriously considered, or is this a what-if question?
It is a what-if mainly. I was just wondering if there was any point in even considering a header size change.
If ASICs require an 80 byte header, then that pretty much brings the discussion to an end.
The fact that old clients also require an 80 byte header also acts against it.