def loader_decode_pcr8(cmdline):
    """
    Reverse the encoding for a kernel command line we've read from EV_IPL.
    """
    assert(cmdline.endswith(b"\0\0"))
    return cmdline.decode("utf-16le")[:-1]