[Arm-netbook] ARM Machine type?

[Derek LaHousse]

|The machine type number is obtained via the ARM Linux website Machine
|Registry. A machine type should be obtained as early in a projects life
|as possible, it has a number of ramifications for the kernel port
|itself (machine definitions etc.) and changing definitions afterwards
|may lead to a number of undesirable issues. These values are
|represented by a list of defines within the kernel source

I note the machine type in the source, 3063 and 3064, aren't in the
machine registry.  Or rather they are, as something else.
http://www.arm.linux.org.uk/developer/machines/  

Does the A10 already have a number, just not under the same name as the
arm-netbook posted sources?  Is this something that lkcl or alejandro
should do?