I have a question regairding the naming scheme of the files
in the cpu directory. The port of ARMBoot to the SMDK2400 is using
"arm920t" as its cpu name. But "arm920t" is the name of a ARM core.
Shouldn't this be something like "s3c2400" instead? For example "sa1100"
is the name of a SoC (StrongARM core + peripherals).