Add support for dflush instruction