Removes the HPET timer macros from board.h and uses the HPET timer Kconfig options in their stead. Change-Id: Ia0b3cd87716277ac25f12deb31d5c5934f355050 Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>