added hardware extension sec before smc calls
add syscall secure_monitor, which issues SMC