boards/x86/acrn: Use APIC_TSC_DEADLINE_TIMER

This board got forgotten when we migrated the older APIC_TIMER users.
Now the platform is SMP by default and the older driver refuses to
build.

Signed-off-by: Andy Ross <[email protected]>

Author: Andy Ross

boards/x86/acrn/acrn_defconfig

@@ -4,7 +4,7 @@ CONFIG_SOC_IA32=y
 CONFIG_BOARD_ACRN=y
 CONFIG_PIC_DISABLE=y
 CONFIG_LOAPIC=y
-CONFIG_APIC_TIMER=y
+CONFIG_APIC_TSC_DEADLINE_TIMER=y
 CONFIG_X2APIC=y
 CONFIG_CONSOLE=y
 CONFIG_SERIAL=y