MSM7K hardware support (OpenSEMC)