use sys max ppn, not hard coded value