bugfix for HPCBIOS_standards_init, now working

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>