3c3
< // Copyright (c) 2010, 2012-2013 ARM Limited
---
> // Copyright (c) 2010,2012-2013,2017 ARM Limited
250c250
< case 0xfe:
---
> case 0x7e: