tiny ukbd num lock issue

[Alexander Best]

hi there,

i have a very tiny num lock issue with ukbd on HEAD (amd64; r211393). in my
bios i have enabled the "boot with num lock enabled" feature. when i fire up
freebsd the num lock light on my keyboard is on. however the num lock keys
don't work. if i press the num lock button once nothing happens. if i hit it
twice the num lock led goes off. to make the num lock feature work i have to
actually hit the num lock key thrice.

is this a known issue?

cheers.
alex

-- 
a13x