xbootgen now works (but still some fixed constants)