trap (GPF) when starting l4linux