defconfig: enable Alucard Hotplug

Change-Id: Ia7457db6dbd7ba633312378e64c104a0dffe1c54