K 10 svn:author V 6 kevans K 8 svn:date V 27 2019-12-26T17:09:36.669445Z K 7 svn:log V 415 Revert r355806: kbd drivers: don't double register keyboard drivers r356087 made it rather innocuous to double-register built-in keyboard drivers; we now set a flag to indicate that it's been registered and only act once on a registration anyways. There is no misleading here, as the follow-up kbd_delete_driver will actually remove the driver as needed now that the linker set isn't also consulted after kbdinit. END