Page fault handler for the LVBS platform

[sangho2]

Currently, the LVBS platform does not support a page fault handler. We need it to support demand paging and memcpy_fallible which suppresses memory copy errors between kernel and user, capturing some issues like use after free.

#632