Use size_bytes instead of size_bits in alloca_untyped in project hello-2-nolibs.
Use size_bytes instead of size_bits in alloca_untyped in project hello-2-nolibs.

sighingnow/sel4-tutorials,sighingnow/sel4-tutorials,sighingnow/sel4-tutorials