/resources/libreboot/patch/coreboot/87eacacb35ee45128a6aac61fb657e6f2e374f09/seabios/