Add a KPI for the delay while spinning on a spin lock.

[jhb]

Summary

Replace a call to DELAY(1) with a new cpu_lock_delay() KPI. Currently
cpu_lock_delay() is defined to DELAY(1) on all platforms. However,
platforms with a DELAY() implementation that uses spin locks should
implement a custom cpu_lock_delay() doesn't use locks.

Test Plan

• passed make tinderbox (aside from unrelated breakage in arm.GENERIC-NODEBUG)
• booted in i386 and amd64 VMs
• original PR reporter booted combined patch on amd64 machine