libplatsupport: Add hifive serial and pwm drivers This implements the required drivers to pass sel4test