Two more kernel changes to enable Docker to work properly.