[coreboot] Re: [RFC] Using relocatable module program parameters to pass cbmem_top() on X86