/resources/libreboot/patch/coreboot/15fca66bf08db45937ce88b950491963654805b9/seabios/