Implement [#2080] and [#2081].
Implement fix for [#2078].
[#2079] The kspin_lock_queue_number structure changed for _AMD64_.