MIDR_PARTNUM
return MIDR_PARTNUM(read_cpuid_id());
seq_printf(m, "CPU part\t: 0x%03x\n", MIDR_PARTNUM(midr));