a1dc7277d9
To make machine.Signal work correctly (among other things). The solution is taken over from the rp2 port. Signed-off-by: Philipp Ebensberger