[NTOS]: Even after allowing ARM3 paged pool, we should still use the old allocator...