1f034c9 Update KMEMLEAK log size default

Authored and Committed by Jeremy Cline 4 years ago
    Update KMEMLEAK log size default
    
    Upstream renamed the setting to DEBUG_KMEMLEAK_MEM_POOL_SIZE in upstream
    commit c5665868183f and changed the default to 16000 in upstream commit
    b751c52bb587.