The main function should not be infinite since the boot.s file already
has an infinite loop.