HAL

Merge proposals dependent on lp://staging/~carsten-munk/hal/led-problem

lp://staging/~carsten-munk/hal/led-problem has no merge proposals.