/resources/libreboot/config/seabios/r400_16mb/