Use lithe_hart_request instead of maybe_request_harts

The latter is racy on the # of harts, and the optimization is mostly
handled in lithe's hart management code, anyhow.