[seL4] Huge kernel images no more