Re: main cadd2ca217 doesn't boot

Hi,

da76d349b6b1 replaced a UMA-related symbol but missed three instances 
where the old one was used, ultimately causing the wrong UMA page 
allocator to get selected and crashing the machine.

I tested this patch as a part of a bigger series where it works fine, so 
this slipped through cracks without getting noticed.

I've attached a patch with a fix, I can boot an amd64 VM with it applied.
Could you please give it a try and let me know if it fixes the issue?

Bojan