ecbuf: Forgot to actually implement ecbuf_popp()