[coreboot-gerrit] Patch set updated for coreboot: arch/x86: add library function for coreboot to generate random number using x86 RDRAND instruction.