The article is a few weeks old now. One change since it was written -- Raspberry Pi 2 SMP support has been added to -current and is expected to be part of the 7.0 release.