temp fix for arm-native kernel