mini-os: use correct objcopy
mini-os: remove unused variable from gic code, silencing warnings
Merge pull request #1 from jtdaugherty/minios-arm-port

Minios arm port