In order for interrupt-based wake-ups (as introduced by #1142) to work concurrently with time.Sleep, we need to make some per-board changes.

Previously, sleepTicks (the function used as an interface between the scheduler and the hardware timer) was defined to block until the timer completed, since there was nothing else to do. Now we need to change this so that it bails out when an interrup

Is your enhancement proposal related to a problem? Please describe.
Refer to zephyrproject-rtos/zephyr#27357 (comment)
and
zephyrproject-rtos/zephyr#27357 (comment)

Describe the solution you'd like

• Use sys_get_le24() to pass crc_init value
• Define CRC polynomial and use the define instead of magic numbers.

Resurrecting the second bullet from #1334

• Figure out how to fix favicon / logo more generally (here's a start https://github.com/tock/tock/tree/doc-updates)

Standard Python signals an error when the specified size is nonzero and bigger than the buffer, which this code doesn't do (yet):

>>> b = bytearray(7)
>>> s = socket.socket()
>>> s.recv_into(b, 8)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
Valu

Implement some test cases for standard memset()