The mainline kernel does not support all of the ARM devices that are out there, that's why you don't see them there.
The numbers aren't changing in the mainline kernel, they are just being pruned out of the mach-types file distributed with the source. The numbers stay the same as per the official registry we linked above.
Raidsonic wrongly repurposed an existing ID (527) instead of creating their own. This is why the boxes come set to that, and why in order to have it supported under our kernel you must change it to correct ID of 3104.
If you don't want to change the arcNumber to the correct ID to work with our kernel because you feel you don't have to, then don't. It just won't fully work with our distribution. You make the call. This pointless conversation has only been continuing because you simply won't realize that you must change the arcNumber, that the one it ships with is wrong for mainline support. I will not be changing our kernel to utilize incorrect board IDs.