> alloc_contig_pages() is never used anywhere in mini-os. Remove it.
> - * Allocate pages which are contiguous in machine memory.
> - * Returns a VA to where they are mapped or 0 on failure.
> - * 64bit memory) or 0 for no restrictions.