Change optimizations to debug (-Og)
Implement a simple page allocator.

- Memory size is currently hardcoded to 256MiB. Get this from the
  bootloader later.
- free_pages() does nothing, as there is no bookkeeping as of now.
- this is not actual paging yet, as alloc_pages still returns physical
  addresses.
stdint.h: MIN/MAX macros.