Как я могу написать драйверы для Windows с новым 64-битным компилятором XE3, который только что появился несколько дней назад. Это вообще возможно?
Скорее всего, это невозможно. Даже если вам удастся как-то скомпилировать код, он, скорее всего, нарушит целый набор правил ядра и приведет к неприятным вещам, таким как сбои и зависания.
Не делай этого. Используйте только WDK-компилятор, предоставленный MS для разработки драйверов (он интегрирован в VS, начиная с VS2012).
Других решений пока нет …