[coreboot-gerrit] New patch to review for coreboot: 5b63318 Add function to encode device path into integer