It still works, the new log output, given below, is slightly different from the previous one.
473 :phys_alloc: Allocator 18db20 dump:
Block: [00000000,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
Block: [00100000,10000000) size=0ff00000 avail=0ff00000 max_avail=32e000000
Block: [1000b000,bf01f000) size=af014000 avail=af014000 max_avail=32e000000
Block: [100000000,42e000000) size=32e000000 avail=32e000000 max_avail=32e000000
=> mem_size=16860778496 (16079 MB) / mem_avail=16860778496 (16079 MB)
507 :phys_alloc: Allocator 18db20 dump:
Block: [00000000,0009d000) size=0009d000 avail=0009d000 max_avail=0009d000
Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=6baf7000
Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=0d800000
Block: [1000b000,7bb02000) size=6baf7000 avail=6baf7000 max_avail=6baf7000
Block: [7d7f8000,7d7f9000) size=00001000 avail=00001000 max_avail=32e000000
Block: [80000000,bf01f000) size=3f01f000 avail=3f01f000 max_avail=3f01f000
Block: [100000000,42e000000) size=32e000000 avail=32e000000 max_avail=32e000000
=> mem_size=16750690304 (15974 MB) / mem_avail=16750690304 (15974 MB)
528 :phys_alloc: Allocator 18db20 dump:
Block: [00001000,0009d000) size=0009c000 avail=0009c000 max_avail=0009c000
Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=0d800000
Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=0d800000
Block: [1000b000,7bb02000) size=6baf7000 avail=6baf7000 max_avail=32e000000
Block: [80001000,bf01f000) size=3f01e000 avail=3f01e000 max_avail=3f01e000
Block: [100000000,42e000000) size=32e000000 avail=32e000000 max_avail=32e000000
=> mem_size=16750678016 (15974 MB) / mem_avail=16750678016 (15974 MB)
core
[...]
iwlwifi-7260-8.ucode
Genode 15.08-243-g1a0bd06
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 15973 MB to init