Not as big as previous years, but big enough. We'll be frustrated that they are the big holiday titles. But the more casual player/consumer will likely eat them up with no complaints.
If these are real, I honestly think we'll get three releases. Super Mario 64/Super Mario Sunshine HD Collection, Super Mario Galaxy HD Collection, and Super Mario 3D World Deluxe. And Nintendo will charge $60 for all of them. There's virtually no way Nintendo would put more than 2 remastered 3D Mario games in one package for $60 or less.

Lifetime Sales Predictions 

PS4: 130 mil (was 100 million) Xbox One: 55 mil (was 50 mil) Switch: 110 million (was 73, then 96 million)

3DS: 75.5 mil (was 73, then 77 million)

"Let go your earthly tether, enter the void, empty and become wind." - Guru Laghima