Fix PAGE_SIZE undefined

Change-Id: I96bcb1d4451ef722ecfbfd9f61c2fb4126564f6c