[coreboot-gerrit] New patch to review for coreboot: Documentation/Intel: Making a bootable SD card