ks01: remove PowerHAL

Kernel can properly handle this now