Fix PAGE_SIZE define, make a simple alloc_virtual_page