Merge "x86/pc-bios: Update bios.bin so that it works on Linux kernel 3.18+"
tree: dcf51dd5e9f557d8c9f32e8fbb5ffedaadcfb516
  1. arm/
  2. arm64/
  3. kernel-toolchain/
  4. mips/
  5. mips64/
  6. x86/
  7. x86_64/
  8. build-kernel.sh