Fix SDKMACHINE value

Change-Id: If53b8de530dd8fc65c7a5083cd74e91d50e526ac
Signed-off-by: Khem Raj <raj.khem@gmail.com>