apq8064: build kernel with ARM EABI 4.8