exynos4: allow using SLSI stack

Change-Id: I6201fb7b513f0b0d771460be133a7f32691b5070
2 files changed