silenced messages, exported kernel pml4