abi: Model functions with many arguments (no longer passed by regs).

[lkorenc]

Prerequisites

• I have read the documentation and the proposed feature is not implemented.

Description

Both integer class and floating point types have only some number of arguments that can be passed in registers. Make sure we can handle cases when there is more of them.