Minor fix to for compatibility with ARM boards