kernel: fix 64-bit issues in syscall_handler.h

Always use size_t for size calculations, not u32_t.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
1 file changed