libsel4platsupport: Small Kbuild rule fix

libsel4platsupport/Kbuild

diff --git a/libsel4platsupport/Kbuild b/libsel4platsupport/Kbuild
index 71be6bf..5aa14cf 100644
--- a/libsel4platsupport/Kbuild
+++ b/libsel4platsupport/Kbuild
@@ -10,6 +10,5 @@
 
 
 
-libsel4platsupport-y: libsel4simple-default
-libsel4platsupport: libutils libsel4 libsel4vspace libsel4simple libplatsupport libsel4platsupport-y $(libc) common
+libsel4platsupport: libutils libsel4 libsel4vspace libsel4simple libplatsupport libsel4simple-default $(libc) common
 libs-$(CONFIG_LIB_SEL4_PLAT_SUPPORT) += libsel4platsupport