tests/simple_manual/kernel (bluesim) works again