A Lightweight Detection and Recovery Infrastructure of Kernel Objects for Embedded Systems