trap (GPF) when starting l4linux -- resolved!