print_num clobbers eax, we need to reload _boot2_size after it returns