Re: [coreboot] Asus Chromebox Panther: no HW RNG?