style comments. This is not an attempt to conform to style(9). Such has lower priority.
kernel before we call ExitBootServices(). I've typed the definitions in efifpswa.h from the Intel FPSWA manual (urk).