added comment on mlock() for large guests