resolve ambiguous interrupt handler symbol
enable FPU, fixing a fault with bochs
remove debug prints where stdout is not yet available