Kroger's board of directors OKs quarterly dividend