fix hp_platform_linux.h bugs