configure: make --iasl option actually work