simplify/cleanup code + bugfixes

- x86_64 seL4_TCBOject size is implemented

- ioapic level_triggered and active_low were incorrect
2 jobs for master
Status Job ID Name Coverage
  Test
canceled #37
build

canceled #38
verify_signatures