On Wed, Oct 24, 2018 at 01:40:35PM -0700, Palmer Dabbelt wrote:
This should never have been inside our arch port to begin with,
it's
just a relic from when we were maintaining out of tree patches.
Signed-off-by: Palmer Dabbelt <palmer(a)sifive.com>
Looks good, and probably harmless enought that we should pick it up
for this merge window:
Reviewed-by: Christoph Hellwig <hch(a)lst.de>