Is the Genode AHCI driver supposed to announce service "Block"? I've seen the AHCI test script, but it fails. Is there any scenario in which the driver is known to work?