sync with trunk (r46275)
[reactos.git] / boot / armllb / hw / versatile / hwkmi.c