1) implement priority donation (including nested donation); 2) fix
kernel panic.