[PATCH] EFI x86: pass firmware call parameters on the stack