I did a test run without installing the header files for the kernel v3.15-rc2-trusty . The mainline kernel fixed the bug.
I did a test run without installing the header files for the kernel v3.15-rc2-trusty . The mainline kernel fixed the bug.