Files
rpi_b/lib/i386/misc/getprocessor.s