add more dump output for win3kdxtest