Oh, good result! 😃
Looks like some resource conflict there then. If you don't need the AGP drivers there then using that hint is a perfectly good solution there. The actual 'correct' thing is probably to get a BIOS update that sets up those devices without a conflict but that seems... unlikely!

Steve