Moved PAGE_SIZE to kernel/archinf.h