These IDs are from Microsofts device IDs list at http://download.microsoft.com/download/1/6/1/161ba512-40e2-4cc9-843a-923143f3456c/devids.txt which is linked from http://www.uefi.org/PNP_ACPI_Registry.
This should fix some machines which failed to attach the PS2 Keyboard after 131acb0380e93664f106117ebf8ba322a3d1b7c4, unless the acpi(4) module was disabled.
b276d6fe06 atkbdc - Add additional ACPI PNP IDs specified by Microsoft for Keyboards.
sys/dev/misc/atkbdc_layer/atkbdc_isa.c | 17 +++++++++++++++++
1 file changed, 17 insertions(+)