[LinuxBIOS] dead loop in compute_allocate_resource