Re: [PATCH] keys, dns: Fix size check of V1 server-list header