89c89
<     key <AE11> {	[ 0x100058a,  0x1002015 ]       };
---
>     key <AE11> {	[ 0x100002D,  0x1002015 ]       };