Fix icmp reception with CONFIG_BLOCK_EXTRAS