Use semaphore kernel and 4.7.3
Signed-off-by: Kristofer Ard <kristoferard@gmail.com>