[PATCH] configs: socfpga: Wrapping up function ID for SMC register access