Charles Jacobsen authored Feb 29, 2016 and Vikram Narayanan committed Oct 26, 2016

Missing lcd_get_utcb function; added it.

Another cptr_cache ABI issue - need to compile isolated code with
padding flag; works now.

Couple small bugs in microkernel (return value not initialized for
certain error case).