vgabios: fix compilation after x86emu changes

This utility links in coreboot code, and has been broken for a while
again after removing some hacks from coreboot. I hadn't realized how
bad it was broken last time, and since most of this stuff is still
in a pretty bad shape, I decided to throw all of the changes together.

Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>

Change-Id: If3e4399b1b0e947433b97caa29962ef66ea2993d
Reviewed-on: http://review.coreboot.org/11736
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>

util/vgabios/int16.c

@@ -1,7 +1,9 @@
 #include <stdio.h>
+#include "testbios.h"
 
 int int16_handler(void)
 {
 	printf("\nint16: keyboard not supported right now.\n");
+	x86emu_dump_xregs();
 	return 1;
 }