Bug fixing (input PEK compiles, interrupts type, etc...)

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