coreboot support for fedora grub config file script

10_linux.patch

*** 10_linux.orig	2016-10-05 22:46:49.564011135 +0200
--- 10_linux	2016-10-05 22:43:03.187055937 +0200
***************
*** 85,98 ****
--- 85,101 ----
    version="$2"
    type="$3"
    args="$4"
+   bios_vendor=$(dmesg | grep -oP 'BIOS vendor:\s*\K([^;]+)')
    sixteenbit=""
    linuxefi="linux"
    initrdefi="initrd"
    case "$machine" in
      i?86|x86_64)
+ 	if [ $bios_vendor != "coreboot" ]; then
  	sixteenbit="16"
  	linuxefi="linuxefi"
  	initrdefi="initrdefi"
+ 	fi
  	;;
      aarch64)
  	linuxefi="linux"