Fix performance problems after #532#545

tilk merged 10 commits into

kuznia-rdzeni:masterkuznia-rdzeni/coreblocks:masterfrom

awariac:piotro888/interrupt-fmax-fixawariac/coreblocks:piotro888/interrupt-fmax-fixCopy head branch name to clipboard