[PATCH 05/22] x86: i8254: Include required ibmpc.h header