binary_loopback_cfg was fixed so that it uses INITFS in order to find the kernel