Constant linux_raw_sys::bootparam::SETUP_RNG_SEED

pub const SETUP_RNG_SEED: u32 = 9;