I just got the UD3 and had the same problem booting with AHCI set. Works fine now after i updated to the F3 bios.