Comment # 2 on bug 1187077 from Alberto Planas Dominguez

After some fresh digging, I can only reproduce in MicroOS and not in TW (so
discard the kernel)

Seems to be in some missing TCTI libraries that are only recommended when
installing the abrmd service (MicroOS do not install any recommendation)

Sorry for the noise, and I will re-assign it. Also I will prepare some
candidate for a fix.