Yes. All these commands should work on any 64 bit Linux distros including Linux Mint (well, at-least on all debian based distros. In Redhat based distros, some commands under the section " SETTING UP YOUR BUILD ENVIRONMENT" will be different.
In my opinion, this is one of the best guide for beginners. Thanks to @3lambda. Btw, to the best of my knowledge, commands like, makeconfig, menuconfig, xconfig etc. are not required (especially for the beginners) as long as you have a proper defonfig for your device (correct me if I'm wrong?).
I actually been using your kernel on my S5, would you know where I can find the latest kernel sources for the g900f? I looked on the official site for samsung, but there's nothing later than marshmallow.