[coreboot] __attribute__((stdcall)) vs. __attribute__((regparm(0)))