Bug fixes

Signed-off-by: Carlo Caione <carlo@caione.org>
Fix interrupt triggering

Signed-off-by: Carlo Caione <carlo@caione.org>