Clean up hal_x86.c

Signed-off-by: Alec Ari <neotheuser@ymail.com>