Things to fix

micro:bian

• Correct drive mode for I²C pins. Use a scope to see if the effect can be seen on the bus lines.
• Correct config field for radio.
• Think about uniformity of GPIO interface.

Documents

• Opcodes for yield, nop, etc. are wrong in rainbow chart.