UEFI Allocator: Implement core
s allocator_api
#1632
Closed
core
s allocator_api
#1632