Реализуют ли какие-либо дистрибутивы более безопасный CSPRNG в KASLR, чем RDRAND в lib/kaslr.c, как в исходниках vanilla?

Question

Я начал сkaslr.cи обнаружил, что он использует kaslr_get_random_long(), определенный вkaslr.h и реализовано вlib/kaslr.cгде он, возможно, использует RDRAND (аппаратный PRNG Intel), временную метку и, по крайней мере, системный таймер для генерации большей энтропии.

unsigned long raw, random = get_boot_seed();
bool use_i8254 = true;

debug_putstr(purpose);
debug_putstr(" KASLR using");

if (has_cpuflag(X86_FEATURE_RDRAND)) {
    debug_putstr(" RDRAND");
    if (rdrand_long(&raw)) {
        random ^= raw;
        use_i8254 = false;
    }
}

if (has_cpuflag(X86_FEATURE_TSC)) {
    debug_putstr(" RDTSC");
    raw = rdtsc();

    random ^= raw;
    use_i8254 = false;
}

if (use_i8254) {
    debug_putstr(" i8254");
    random ^= i8254();
}

Возвращаемое значение немного размыто из-за некоторого ассемблерного циклического умножения.

    /* Circular multiply for better bit diffusion */
asm(_ASM_MUL "%3"
    : "=a" (random), "=d" (raw)
    : "a" (random), "rm" (mix_const));
random += raw;

get_boot_seed, по-видимому, является очень простым линейным xor-PRNG для хеша, установленного в статический 0. Он использует очень простой xor, полагаясь на параметры загрузки ядра.

    /* Attempt to create a simple but unpredictable starting entropy. */
static unsigned long get_boot_seed(void)
{
    unsigned long hash = 0;

    hash = rotate_xor(hash, build_str, sizeof(build_str));
    hash = rotate_xor(hash, boot_params, sizeof(*boot_params));

    return hash;
}

Это, кажется, "достаточно хороший" подход, и мне интересно, пропатчил ли его другой дистрибутив, чтобы использовать более сильный CSPRNG? Для компромисса производительности/безопасности я могу понять этот выбор. Однако я почти уверен, что кто-то уже пропатчил его, чтобы предоставить больше возможностей для защищенных ядер.