Bug/armv7 fixes

Various fixes for ARMv7 / KVM support