Update some information.

I can boot l4linux. Two things occurred the boot problem:

(1) In "Kernel options" of Fiasco configuration the "Enable multi processor support" is by default built-in. In my case if i deactivate this option. Then the assertion failure is gone.

(2) In L4Linux configuration option "(0x00000000) Physical address of main memory" the value 0x00000000 should be kept as it is. My failure was that i changed it to other value, which occurred malloc error.