The functionality has been distributed to:

 - kernel (hardware_version, freertos_sleep)
 - uctx (scope)
 - sys_buttons (new, low-level button access)
 - sys_display (new, low-level display access)

This implements a basic Python simulator for the badge. It currently
can't do much other than just displaying the main selection screen, as
it implements no inputs.