[coreboot-gerrit] New patch to review for coreboot: arch/x86: add library function for coreboot to generate random number using x86 RDRAND instruction.