in arch/arm/kernel/head.S we are hardcoding (9aae53f) two chunks of ASM, the first sets the machine id (which is in fact job of the bootloader) and about the second Tom said today on IRC.

09:59:15 < hipboi> ok, i checked with my workmate
09:59:42 < hipboi> it's maps the memory of the sys_config
10:00:37 < hipboi> at the 48MiB offset of 0x40000000

but we can't just cut it out and my knowledge about ARM's linux booting process is still too limited to know. hints?