correct header name in comments use algnbyte.h and algndflt.h as "user" header instead of "system" header
The issues are similar to those surrounding int2F_12_hanndler( ) (see https://github.com/FDOS/kernel/issues/11).