Update build-kernel-qemu for hard-float