Merge branch 'gcc48-fix'
sync CHANGES
Merge branch 'master' of github.com:mirage/mirage-platform

Conflicts:
	CHANGES
Merge pull request #72 from avsm/master

sync CHANGES