Test a new kernel for SEMC, suggested by Eslam

Change-Id: Iafe785f8172bcc703f6046fdf692f331baf98d23