cpu_is_ixp42x
if (cpu_is_ixp42x() && ((image->id >> 28) & 0xF /* device ID */)) {
if (cpu_is_ixp42x()) {
if (cpu_is_ixp42x())