Index: src/arch/x86/boot/coreboot_table.c
===================================================================
--- src/arch/x86/boot/coreboot_table.c	(Revision 6293)
+++ src/arch/x86/boot/coreboot_table.c	(Arbeitskopie)
@@ -547,7 +547,7 @@
 		if (option_table) {
 			struct lb_record *rec_dest = lb_new_record(head);
 			/* Copy the option config table, it's already a lb_record... */
-			memcpy(rec_dest,  &option_table, option_table->size);
+			memcpy(rec_dest, option_table, option_table->size);
 			/* Create cmos checksum entry in coreboot table */
 			lb_cmos_checksum(head);
 		} else {