If he had formatted it then the free games/videos/demos would have been deleted though.
I found this...
Don't be fooled though, it may say 20 Gigabytes but you don't really have anywhere near 20 gig to play with. You'll start off with 12 or 13 gigabytes of free space. The rest is taken up by formatting, the emulation software for playing Xbox 1 games and a puzzle game called Hexic HD, which is actually quite addictive. Plus some decidedly average music tracks.