Fix alignment of malloc syscall

-Add workaround in stdlib.cpp