the same APIC / pin destination in both cases. Reported by: Pawel Jakub Dawidek <nick@garage.freebsd.pl>