Derive for our purposes something similar to what Linux has been having for
a long while.

v4 addresses (hopefully) the final bits of feedback that kept trickling in.

1: common: introduce "brk" allocator
2: x86/EFI: replace ebmalloc()
3: xhci-dbc: use brk_alloc()

Jan