x86: processor.h - use PAGE_SIZE instead of numeric value