FPU and Add headers to mkfile
Merge branch 'master' of https://github.com/jh-yu/inferno-gec6410

Conflicts:
	main.c
	mkfile