[bios] Use an 8kB stack for x86_64

Signed-off-by: Michael Brown <mcb30@ipxe.org>

src/arch/x86/core/stack.S

@@ -2,6 +2,12 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
 
 	.arch i386
 
+#ifdef __x86_64__
+#define STACK_SIZE 8192
+#else
+#define STACK_SIZE 4096
+#endif
+
 /****************************************************************************
  * Internal stack
  ****************************************************************************
@@ -10,6 +16,6 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
 	.align 8
 	.globl _stack
 _stack:
-	.space 4096
+	.space STACK_SIZE
 	.globl _estack
 _estack: