Kernel based checkpoint and restart, per-BDI writeback flusher threads, Microblaze MMU support, ARM devicetree support, and Xen