Merge "build-kernel: Upgrade GCC version to 4.9" am: 25eb01b3f7
am: 80ce037d0a

* commit '80ce037d0abbdf318e0c62e2f84d3acbee7f56e6':
  build-kernel: Upgrade GCC version to 4.9
diff --git a/x86/pc-bios/bios-256k.bin b/x86/pc-bios/bios-256k.bin
deleted file mode 100644
index fab9da2..0000000
--- a/x86/pc-bios/bios-256k.bin
+++ /dev/null
Binary files differ
diff --git a/x86/pc-bios/efi-virtio.rom b/x86/pc-bios/efi-virtio.rom
deleted file mode 100644
index 935c927..0000000
--- a/x86/pc-bios/efi-virtio.rom
+++ /dev/null
Binary files differ
diff --git a/x86/pc-bios/kvmvapic.bin b/x86/pc-bios/kvmvapic.bin
deleted file mode 100644
index 045f5c2..0000000
--- a/x86/pc-bios/kvmvapic.bin
+++ /dev/null
Binary files differ
diff --git a/x86/pc-bios/linuxboot.bin b/x86/pc-bios/linuxboot.bin
deleted file mode 100644
index 130103f..0000000
--- a/x86/pc-bios/linuxboot.bin
+++ /dev/null
Binary files differ