I wouldn't be surprised if AmigaOS was tightly integrated with its custom chipset (denise, fat agnus comes to mind as a colorful name for some of these), making it a lot more difficult to port it to x86.