[ARM] nommu: adjust headers for !MMU ARM systems