libbuxton: Use correct cast

Signed-off-by: Ikey Doherty <michael.i.doherty@intel.com>