/resources/libreboot/patch/coreboot/c410b183370609b58db5d8d94c527bddb3c79447/seabios/