push_stack
static size_t push_stack(uint32_t, uint32_t);
stacksize = push_stack(bootargsz, marks[MARK_END]);