Make random-seed really random

Warning: This routine works in RevoBoot but I have no idea if it works
in boot.efi