Rewrite interrupt handling in coreboot to be more comprehensible and