To a lot of lurkers it's still not clear what the labs amd64 binaries are. bootable kernel? commands?