Fix alignment of malloc

-Add a workaround in libsyscalls to align pointer returned by malloc syscall