Sửa điều hòa Dương Đình Nghệ, Sửa điều hòa Mạc Thái Tổ