lib/genalloc.c: add support for specifying the physical address