[seL4] Pull request of S91lighttpd