todo: maybe use uefi_call_wrapper, it also seems like check alignment. Does fstcall chack alignment of stack by 16?