mini-os: use correct objcopy
mini-os: remove unused variable from gic code, silencing warnings