boot.s actually passes arguments to main.c now