Implementing a basic x86 page frame allocator in C (anastas.io)