At end of that article add.new.device we can read:

If you have added a device profile, and it isn't showing up in "make menuconfig

However I didn't see how to add a device profile. And I would want to learn it!