[LinuxBIOS] Re: dead loop in compute_allocate_resource