I am using an Intel i5-3450 and apparently the processor does not support VT-d. This is probably the reason the BIOS does not expose VT-d in the config options. I guess I will have to change the processor.
REquest an update on this. Were you able to get vt-d working with a different i5 processor?