Fix mapping SOCDEV device memory for early printf

[bsz_semihalf.com]

Summary

SOCDEV must be mapped as device memory. Create a separate function which
maps a device memory section in L1 pagetable.

Obtained from: Semihalf
Sponsored by: Stormshield
Submitted by: Michal Stanek <[e-mail]>

Test Plan

Tested on Armada 388-GP board.

[• ian]

sys/arm/arm/locore-v6.S

406

add a label like build_pagetables_common: before this line. make build_pagetables_dev load the right value into r4 and jump to this new label, to avoid duplicating the entire function.

434

Isn't this whole change a no-op without doing this to-do?

[bsz_semihalf.com]

Abandonen, as this is not required after we removed EARLY_PRINTK and doesn't work properly with ARM_NEW_PMAP.