[seL4] Why vppi is sent from kernel to vmm by fault endpoint but not by notification ?