Merge branch 'v1.3.0.x' into develop
Merge branch 'v1.3.0.x' into develop
fix all HPCBIOS related headers, esp. in relation to goolf

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>
Merge pull request #203 from fgeorgatos/fix_HPCBIOS_headers_only

Fix hpcbios headers only