{%
    if GetBiosPrintState == 1 then
        echo('BIOS debug info enable.')
    elseif GetBiosPrintState == 0 then
        echo('BIOS debug info enabled/disabled by BIOS setup menu.')
    else
        echo('unknown status.')
    end
%}