Update: a working CPU that supports VT-d has finally arrived. VT-d is also working with EFI BIOS U1l. Although the Setup menu has a "Miscellaneous" section that mentions "VT-d" in its short description, it does not have an option to disable VT-d. By default, VT-d is enabled.